模板化子类的模板化函数

Question

我在尝试弄清楚为什么gcc无法推断出以下代码中的模板参数时遇到了一些麻烦：

template <int N>
struct A {
    template <int M>
    struct B {
    };
};

template <int N, int M>
void function(typename A<N>::template B<M> &b) {
    // do stuff
}

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

错误：

$ g++ -std=c++11 -std=gnu++11 test.cpp
test.cpp: In function ‘int main()’:
test.cpp:19:12: error: no matching function for call to ‘function(A<1>::B<2>&)’
  function(b);
            ^
test.cpp:19:12: note: candidate is:
test.cpp:13:6: note: template<int N, int M> void function(typename A<N>::B<M>&)
 void function(typename A<N>::template B<M> &b) {
      ^
test.cpp:13:6: note:   template argument deduction/substitution failed:
test.cpp:19:12: note:   couldn't deduce template parameter ‘N’
  function(b);

Answer 1

我留下这个答案主要是因为评论。问题显然是posted和answered。

但是根据经验，对于模板演绎，根据我的经验，使用clang作为替换/替代，它有更好的错误消息用于此类问题（例如为什么模板演绎失败）。