C++非类型模板参数在头文件外编译的正确语法是什么？

我定义了带std::enable_if约束的模板类，在头文件内实现成员函数没问题，但移到cpp文件时编译报错，始终无法解决。

头文件中的类定义 #

template<typename U, typename = std::enable_if_t<std::is_base_of_v<int, U>>>
class TestClass {
  public:
    auto print() -> void;
};

头文件内实现成员函数（可行） #

如果直接在头文件中实现print()，写法很简单：

template<typename U, std::enable_if_t<std::is_base_of_v<U, int>, int> = 0>
class TestClass
{
    auto print()
    {
       std::cout << "Hello";
    }
};

移至cpp文件的尝试（编译失败） #

我尝试在cpp文件中这样实现：

template<typename U, typename>
void TestClass<U, std::enable_if_t<std::is_base_of_v<int, U>>>::print()
{
    std::cout << "Printing from TestClass" << std::endl;
}

编译错误信息 #

main.cpp:14:19: error: 非类型模板参数的模板实参必须是表达式
void TestClass<U, std::enable_if_t<std::is_base_of_v<int, U>>>::print()
                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:6:71: note: 模板参数在此处声明
template<typename U, std::enable_if_t<std::is_base_of_v<U, int>, int> = 0>
                                                                      ^

正确的实现写法 #

要解决这个问题，需要严格匹配模板类的参数列表，同时注意模板类分离编译的限制：

1. 对应类型模板参数的写法（头文件原定义） #

如果头文件中类的第二个模板参数是类型参数（typename = ...），cpp中的实现需保持参数列表一致，直接使用模板参数即可：

头文件（保持原有定义）：

#include <type_traits>
#include <iostream>

template<typename U, typename = std::enable_if_t<std::is_base_of_v<int, U>>>
class TestClass {
  public:
    auto print() -> void;
};

cpp文件中的实现：

#include "testclass.h"

// 第二个参数直接用模板参数Enable匹配类定义中的类型参数
template<typename U, typename Enable>
void TestClass<U, Enable>::print()
{
    std::cout << "Printing from TestClass" << std::endl;
}

// 注意：模板类分离编译必须显式实例化所有需要使用的类型，否则链接会报错
template class TestClass<int>; // int是自身的基类，满足is_base_of_v<int, int>
// 若有其他派生自int的自定义类，也需显式实例化
// template class TestClass<DerivedInt>;

2. 对应非类型模板参数的写法（头文件第二种定义） #

如果类定义使用的是非类型模板参数（std::enable_if_t<..., int> = 0），cpp中的实现要对应参数类型：

头文件：

#include <type_traits>
#include <iostream>

template<typename U, std::enable_if_t<std::is_base_of_v<U, int>, int> = 0>
class TestClass
{
    auto print() -> void;
};

cpp文件中的实现：

#include "testclass.h"

// 第二个参数用int类型的模板参数N匹配类定义中的非类型参数
template<typename U, int N>
void TestClass<U, N>::print()
{
    std::cout << "Hello" << std::endl;
}

// 显式实例化需要的类型
template class TestClass<int>;

关键说明 #

• 编译错误的核心原因：你在特化类时，将std::enable_if_t<std::is_base_of_v<int, U>>作为模板实参，但如果类的第二个参数是非类型参数（如int），该表达式不是合法的非类型实参（enable_if_t在这里是int类型，但需要传递具体整数值而非类型）。
• 模板类成员函数的实现必须严格匹配类的模板参数列表，无论是类型参数还是非类型参数。
• 模板类分离编译的限制：模板需要在编译时实例化，cpp文件中的模板实现若未显式实例化，链接器会找不到对应函数定义，因此必须显式实例化所有需要使用的模板类型。

内容的提问来源于stack exchange，提问作者McFlurriez