2

可能重复：
非推断上下文的解决方法

GCC 无法推断此“简单”函数的参数。有什么方法可以帮助编译器吗？

template<int a> struct A
{
    template<int b> struct B
    {
    };
};

template<int a, int b> void test(typename A<a>::template B<b> param) { }

int main()
{
    A<1>::B<2> b;

    test<1,2>(b); // works
    test(b);      // doesn't work
}

来自 GCC 4.7.1 的错误消息：

test.cpp: In function 'int main()':
test.cpp:15:8: error: no matching function for call to 'test(A<1>::B<2>&)'
test.cpp:15:8: note: candidate is:
test.cpp:8:29: note: template<int a, int b> void test(typename A<a>::B<b>)
test.cpp:8:29: note:   template argument deduction/substitution failed:
test.cpp:15:8: note:   couldn't deduce template parameter 'a'
4

1 回答 1

3

尽管这似乎是一个简单的推论，但您希望编译器执行的操作实际上会非常复杂且通常执行起来很慢，并且 C++ 不支持它。

解决此问题的一种方法是创建另一个非嵌套类，将所有模板参数放在一个位置。然后，您可以通过从它派生使它看起来是一个嵌套类：

template<int a,int b> struct A_B {
  /* define your class here */
};

template<int a> struct A
{
    template<int b> struct B : A_B<a,b> {/*nothing here*/};
};

template<int a, int b> void test(A_B<a,b> param) { }

int main()
{
    A<1>::B<2> b;

    test<1,2>(b); // works
    test(b);      // works too
}

C++11 还支持模板别名，这使得它更简洁一些，尽管它还没有得到广泛的支持：

template<int a> struct A
{
    template<int b> using B = A_B<a,b>;
};

这个问题密切相关：

非推断上下文的解决方法

那里提供的答案对您的情况也很有用。如果你可以让你的函数成为朋友，那么你可以这样做：

template<int a> struct A
{
    template <int b>
    struct B
    {
    };

    template <int b>
    friend void test(B<b> param)
    {
    }
};
于 2012-09-28T13:30:27.517 回答