Question

我想创建一个将消息映射到默认处理器的编译时结构，但我的代码无法在msvs 2015 update2中编译。我认为这是编译器中的一个错误，因为代码非常有效并且使用gcc进行编译。下面你可以看到重现问题的最小例子

#include <tuple>

struct About;

struct PluginStub
{
    static void About();
};

template<typename Sink>
class Processor
{
    template<typename Call, typename Stub, Stub Pointer>
    struct Method;

    using Methods = std::tuple<Method<About, decltype(&PluginStub::About), &PluginStub::About>>;
};

这给出了这样的输出：

1>  main.cpp(25): error C2440: 'specialization': cannot convert from 'void (__cdecl *)(void)' to 'unknown-type'
1>  main.cpp(25): note: Context does not allow for disambiguation of overloaded function
1>  main.cpp(26): note: see reference to class template instantiation 'Processor<Sink>' being compiled

问题：

我对msvs中的错误是对的吗？
如何解决此问题？

Answer 1

解决方法是使用std::decay：

using Methods = std::tuple<Method<About, 
                           typename std::decay<decltype(&PluginStub::About)>::type, 
                           &PluginStub::About>>;

Answer 2

确实这是一个错误。我创建了一张票https://connect.microsoft.com/VisualStudio/feedback/details/2822978/template-instantiation-error-in-msvs-2015
解决此错误的另一种方法是移动方法定义超出处理器范围。

如果处理器不是模板化的类，那么编译就好了。

msvs 2015中的模板实例化错误

2 个答案: