具有复杂类型的 C++ 模板实例化

Question

我想实例化一个函数，其中模板参数类似于以下complexType。

template <class U, class type> struct complexType;
template <class type> struct complexType<double, type>
{
  typedef type T;
};
template <class type> struct complexType<int, type>
{
  typedef type T;
};

我在头文件中得到以下内容

template <typename U>
void XYZ(
  typename complexType<U, double>::T abc);

以及cpp文件中的实现

template <typename U>
void XYZ(
  typename complexType<U, double>::T abc)
{
  abc = 1.0;
}

template
void XYZ(
  complexType<double, double>::T abc);

不幸的是，GCC 给了我以下编译器错误消息

template-id XYZ<> for void XYZ(complexType<double, double>::T) 不匹配任何模板声明

关于如何解决这个问题的任何建议？

Answer 1

U 不是由它的论点推导出来的。你需要一个明确的模板规范：

template
void XYZ<double>(
    complexType<double, double>::T abc);

你也可以这样做：

template void XYZ<double>(double);