在派生类中专门化模板成员

Question

这里有一个最小的例子来说明我遇到的问题。

#include <iostream>

struct A {
  template <int i>
  void dosomething();

  void show();
};

template<>
void A::dosomething<0>()
{
  std::cout << "0 in A" << std::endl;
}

void A::show()
{
  dosomething<0>();
}

struct B : A {
  // Without the following declaration:
  // error: template-id ‘dosomething<1>’ for ‘void B::dosomething()’
  // does not match any template declaration
  template <int i>
  void dosomething();
};

template<>
void B::dosomething<1>()
{
  std::cout << "1 in B" << std::endl;
}

int main()
{
  A x;
  x.dosomething<0>();

  B y;
  y.dosomething<0>(); // Link error!
  y.show();
  y.dosomething<1>();

  return 0;
}

模板成员A::doSomething()显式专用于基类中的i=0。模板的代码是显式生成的，并在成员A::show()中调用。

我发现的第一个问题是：

template <int i>
void dosomething();

template-id ‘dosomething<1>’ for ‘void B::dosomething()’
does not match any template declaration.

undefined reference to `void B::dosomething<0>()'

该错误是由于在main中调用y.doSomething<0>()造成的。可以通过调用Y.A::DoSomething<0>()来避免这种情况。为什么doSomething<0>()在b的实例中显然是不可见的？

Answer 1

当对成员函数进行脱节定义时，将在::运算符之前引用的类中查找该函数的声明。

考虑一下：

struct C { void test(); };
struct D : C { };

void D::test() { }; // error, test is not a member of D but of C

这和做

template<> void B::dosomething<1>() 
{ }