為什么編譯器不能在我的代碼中推斷出模板參數？

Question

我正在使用視覺工作室，我已經嘗試了所有我能想到的東西。 但不知道為什么這段代碼會產生錯誤，這是我的代碼：

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 在 function 中初始化時它不會產生該錯誤，如下所示：

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

Answer 1

這對我有用（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;
};

Answer 2

這是我在您的其他問題上鏈接到的相同錯誤（請對其進行投票以使其更有可能 MS 會花時間修復它）：

C++ 編譯器在模板推導過程中失去成員函數指針的成員性，導致 ICE

然后，看看@Ise Wistera 的答案，它更簡單，可能不會導致這個問題。

---

微軟更新了錯誤報告，表示他們已經找到了解決辦法。