c++ - 为什么将 T 从外部模板作为默认参数传递给 std::function 会导致编译错误？

Question

我创建了一个模板类，并将 T 作为默认类型参数传递。但是，这会导致编译失败。任何人都可以解释发生了什么？谢谢!

附言。我使用的编译器是VS2012。

#include <functional>

using namespace std;

template <typename T = void()>
struct delegate
{
    typedef function<T> function_t;

    function_t f;
};

int main()
{
    delegate<> d;

    return 0;
}

编译器输出:

1>.\Microsoft Visual Studio 11.0\VC\include\functional(554): error C2027: use of undefined type 'std::_Get_function_impl<_Tx>'
1>          with
1>          [
1>              _Tx=void (__cdecl *)(void)
1>          ]
1>          test.cpp(12) : see reference to class template instantiation 'std::function<_Fty>' being compiled
1>          with
1>          [
1>              _Fty=void (__cdecl *)(void)
1>          ]
1>          test.cpp(17) : see reference to class template instantiation 'delegate<>' being compiled
1>.\Microsoft Visual Studio 11.0\VC\include\functional(555): error C2504: 'type' : base class undefined
1>.\Microsoft Visual Studio 11.0\VC\include\functional(558): error C2027: use of undefined type 'std::_Get_function_impl<_Tx>'
1>          with
1>          [
1>              _Tx=void (__cdecl *)(void)
1>          ]
1>.\Microsoft Visual Studio 11.0\VC\include\functional(558): error C2146: syntax error : missing ';' before identifier '_Mybase'
1>.\Microsoft Visual Studio 11.0\VC\include\functional(558): error C4430: missing type specifier - int assumed. Note: C++ does not support default-int

Answer 1

如对您的问题的评论所示:这只是 Visual Studio 中的一个错误，而不是您的 C++ 代码有任何问题。 @Stephan-T-Lavavej 说他将其归档为 DevDiv#671343。

假设@Yakk 的诊断是正确的(MSVC 错误地将 T 视为 void(*)() 而不是 void())，我以前提出的“可能的解决方法”

typedef function<typename remove_pointer<T>::type> function_t;

但正如@JoshPeterson 在下面评论的那样，即使进行了该更改，该错误仍然出现在 VS2013 中，因此它实际上不是解决方法。