c – “类型不完整”(但不是)并且代码编译

2023年1月23日 180次阅读

我有一个模板类

template<typename EventT, typename StateT, typename ActionT, bool InjectEvent = false, bool InjectStates = false, bool InjectMachine = false>
class StateMachine;

以及它的专业化

template<typename EventT, typename StateT, typename ActionResultT, typename ...ActionArgsT, bool InjectEvent, bool InjectStates, bool InjectMachine>
class StateMachine<EventT, StateT, ActionResultT(ActionArgsT...), InjectEvent, InjectStates, InjectMachine>

专门化用于将函数类型解析为其返回类型和参数类型.

该类的实现按预期工作,并且所有测试都通过.

如果我通过使ActionT = void()向ActionT添加默认值,则Visual Studio会抱怨“类型StateMachine< …>不完整”并且IntelliSense停止工作(至少对于此类型的所有实例).
但是代码编译并且所有测试都像以前一样传递(我还有一个显式使用默认参数的测试).

这是Visual Studio中的错误还是我错过了什么？

我正在使用VS 2015 Pro和C 14.

编辑

这是一个最小的工作示例：

#include <iostream>
#include <functional>

using namespace std;

template<typename EventT, typename StateT, typename ActionT = void(), bool InjectEvent = false, bool InjectStates = false, bool InjectMachine = false>
class StateMachine;

template<typename EventT, typename StateT, typename ActionResultT, typename ...ActionArgsT, bool InjectEvent, bool InjectStates, bool InjectMachine>
class StateMachine<EventT, StateT, ActionResultT(ActionArgsT...), InjectEvent, InjectStates, InjectMachine>
{
public:
    typedef ActionResultT ActionT(ActionArgsT...);

    StateMachine(ActionT&& action) : _action(action)
    {        
    }

    ActionResultT operator()(ActionArgsT... args)
    {
        return _action(args...);
    }

    void sayHello() const
    {
        cout << "hello" << endl;
    }

private:
    function<ActionT> _action;
};

int sum(int a, int b)
{
    return a + b;
}

void print()
{
    cout << "hello world" << endl;
}

void main()
{
    StateMachine<string, int, int(int, int)> sm1(sum);
    sm1.sayHello();
    cout << sm1(2, 5) << endl;
    StateMachine<string, int> sm2(print);
    sm2();
    sm2.sayHello();
    getchar();
}

IntelliSense抛出此错误：

《c – “类型不完整”(但不是)并且代码编译》

对于sm1,它找到成员函数sayHello()…

《c – “类型不完整”(但不是)并且代码编译》

但不适用于sm2

《c – “类型不完整”(但不是)并且代码编译》

但是代码编译并生成此输出：

hello
7
hello world
hello

哪个是对的.

最佳答案 我终于发现这是Resharper的智能感知问题.如果我禁用Resharper,则代码不再加下划线.我会向JetBrains报告此事并让您及时了解最新动态.

编辑

所有邪恶的根源是将函数类型替换为函数签名：

template<typename FT = void()>
struct Func;

template<typename FR, typename ...FArgs>
struct Func<FR(FArgs...)>
{
    // ...
}

更新

我在youtrack(JetBrain的问题跟踪器)上开了一张票,并且已经分配了一个开发人员.

点赞