为什么编译器无法推断出我的代码中的模板参数？

Question

我正在使用 Visual Studio，并且尝试了所有我能想到的方法。但不知道为什么这段代码会生成错误，这是我的代码：

template <class A,class B> B returnArgtype(void (A::*)(B)) {return *new B;}

struct test
{
    void function(int);
    decltype(returnArgtype(&test::function)) x;
};

它会生成此错误：

error C2784: 'A returnArgtype(void (__thiscall A::* )(B))' : could not deduce template argument for 'void (__thiscall A::* )(B)' from 'void (int)'

并且我想知道当参数 x 在函数内初始化时它不会生成该错误，如下所示：

struct test
{
    void function(int)
    {
        decltype(returnArgtype(&test::function)) x;
    }
};

Answer 1

这与我在您的其他问题上链接到的错误相同（请对其进行投票，以便 MS 更有可能花时间修复它）：

C++ 编译器在模板推导过程中丢失指向成员函数指针的成员性，导致 ICE

然后，查看 @Ise Wistera 的答案 更简单，可能不会导致此问题。

---

微软更新了错误报告，表示他们已经找到了修复方法。

Answer 2

这对我有用（GCC 4.6，-std=c++0x）：

template <class A, class B> B returnArgtype(void (A::*)(B));

struct test
{
  void function(int);
  decltype(returnArgtype(&test::function)) x;
};