“未解析的外部符号”关于 char 数组的模板专业化

Question

我的代码中有这样的内容：

template <typename T>
struct A
{
  void Print();
};

template <>
struct A<char*>
{
  void Print() { printf("Char*!\n"); }
};

template <typename T>
void DoSomething(T& lol)
{
  A<T> a;
  a.Print();
}

int main()
{
  char a[5];
  DoSomething(a);
}

这会产生以下链接器错误：

error LNK2019: unresolved external symbol "public: void __thiscall A<char [5]>::Print(void)" (?Print@?$A@$$BY04D@@QAEXXZ) referenced in function "void __cdecl DoSomething<char [5]>(char const (&)[5])" (??$DoSomething@$$BY04D@@YAXAAY04$$CBD@Z)

我应该将 A 模板专门用于什么类型，以便我可以将它与字符数组一起使用？我尝试了 const char* 以及 const、char、* 和 & 的其他组合，但没有任何效果。

请注意，我无法更改 DoSomething 函数。

另外，如果可能的话，我希望编译器自动推导（或转换）模板类型，而无需在 main() 中的 DoSomething() 调用中指定它。

Answer 1

a 没有类型 char*，它具有类型 char[5]，因此实例化的是主模板，而不是特化。

如果您手动执行数组到指针的转换，它将使用特化：

char a[5];
char* aptr = a;
DoSomething(a);

如果您不希望主模板用于 char 数组，您可以特化该模板：

template <unsigned N> struct A<char[N]> { /* ... */ };

Answer 2

您可以只关注编译错误并专门针对 char[5]。

template <>
struct A<char*>
{
  void Print() { printf("Char*!\n"); }
};

不过，这似乎是一个非常奇怪的专业化。

如果您想显式指定要使用的 DoSomething 专业化，那么为什么不完全这样做呢？

int main()
{
  char a[5];
  DoSomething<char *>(a);
}

当然，您会发现这仍然无法编译，因为 DoSomething 采用非常量引用，因此您需要一个 char * 类型的左值，临时不会'不做。

int main()
{
  char a[5];
  char *p = a;
  DoSomething<char *>(p);
}

Answer 3

char a[5];
char* aPointer = &a[0];
DoSomething(aPointer);

这会将 char* 传递给 DoSomething。

这是完整的示例代码，经过修改以正确执行此操作：

template <typename T>
struct A
{
  void Print();
};

template <>
struct A<char*>
{
  void Print() { printf("Char*!\n"); }
};

template <typename T>
void DoSomething(T& lol)
{
  A<T> a;
  a.Print();
}

int main()
{
  char a[5];
  char* aPointer = &a[0];
  DoSomething(aPointer);
}

Answer 4

强制数组->指针衰减的另一种可能性是创建 DoSomething 的特化：（

template <typename T>
void DoSomething(const T& lol)
{
  A<T> a;
  a.Print();
}

template <class T, unsigned N>
void DoSomething(T(& x)[N])
{
  DoSomething(x+0);
}

您应该将 DoSomething 的参数设为 const，因为非 const如果将数组传递给引用，则引用不能用作引用。