带默认模板参数的模板类型如何正确前置声明？

C++标准规定：模板的默认参数只能在第一次声明（包括定义）中指定，后续声明不能重复定义默认参数。针对你的场景，有以下几种可行方案：

方案1：拆分转发声明与定义（推荐） #

将带默认参数的模板前置声明抽离到独立的转发头文件中，原定义和其他使用场景都引用该转发头文件，确保默认参数只在第一次声明时指定。

示例：

• 转发头文件 someclass_fwd.hpp：

enum class Backend { ONE, TWO };

// 首次声明时指定默认参数，符合标准要求
template <typename T, Backend backend = Backend::ONE>
struct SomeClass;

• 原定义头文件 someclass.hpp：

#include "someclass_fwd.hpp"

// 无需重复默认参数，直接实现模板
template <typename T, Backend backend>
struct SomeClass {
    // 类的具体实现代码
};

• 其他使用场景的头文件：

#include "someclass_fwd.hpp"

// 编译器已识别默认参数，可直接使用SomeClass<int>
std::unique_ptr<SomeClass<int>> my_pointer;

该方案既避免了默认参数重复定义的问题，又能让编译器正确识别默认参数，同时还能解决潜在的循环依赖问题。

方案2：使用时显式指定默认参数值 #

若不想拆分头文件，可在前置声明时省略默认参数，使用模板时显式传入默认的参数值：

// 引入Backend的定义
template <typename T, Backend>
struct SomeClass;

// 显式传入默认参数值Backend::ONE
std::unique_ptr<SomeClass<int, Backend::ONE>> my_pointer;

这种方式无需修改原头文件，但缺点是如果后续默认参数值发生变更，所有显式指定的地方都需要同步修改，维护成本较高。

方案3：直接包含原头文件 #

如果不存在编译性能瓶颈或循环依赖问题，最简单的方式是直接包含定义SomeClass的原头文件，编译器会自动获取模板的完整声明（包括默认参数）：

#include "someclass.hpp"

std::unique_ptr<SomeClass<int>> my_pointer;

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