default template argument与default function argument的区别及编译期使用问询

一、核心差异 #

二者看似功能相近，但在求值时机、作用域、灵活性等方面有本质区别：

• 求值时机：
  • 默认模板参数：编译期确定，必须是编译期常量表达式，求值结果直接嵌入模板实例化的代码中。
  • 默认函数参数：运行期求值（除非被constexpr/consteval强制约束），可以依赖运行期变量，每次调用时重新解析。
• 作用域绑定：
  • 默认模板参数绑定到模板定义的作用域，只能使用定义时可见的编译期实体。
  • 默认函数参数绑定到函数调用的作用域，可以使用调用点可见的任何变量（包括运行期变量）。
• 类型与实例化：
  • 不同的模板参数默认值会生成不同的模板实例，属于不同的类型。
  • 默认函数参数不改变函数类型，所有调用共享同一个函数实体，只是缺省值不同。
• 错误检查时机：
  • 模板参数的错误（比如传入非编译期常量）在编译期就会被捕获。
  • 函数默认参数的错误（比如类型不匹配）可能要到运行期才暴露（如果没有编译期检查的话）。

二、处理编译期变量时的选择：优先默认模板参数 #

是的，当仅处理编译期变量时，应该优先选择默认模板参数。原因如下：

• 它强制确保编译期求值，完全避免运行期开销，而且能在编译期就验证参数的合法性（比如是否为常量表达式）。
• 相比之下，即使默认函数参数使用constexpr常量，编译器也只是允许编译期求值，而非强制——如果调用时传入了运行期变量，编译器不会报错（除非函数被标记为consteval），可能意外引入运行期逻辑。

三、代码示例 #

1. 结构体/类场景 #

#include <iostream>

constexpr int CompileTimeConst = 42;
int RuntimeVar = 100;

// 带默认模板参数的结构体：参数必须是编译期常量
template<int N = CompileTimeConst>
struct TemplateDemo {
    static void print() {
        std::cout << "Template value (compile-time): " << N << "\n";
    }
};

// 带默认函数参数的类
struct FunctionDemo {
    void print(int n = RuntimeVar) { // 默认参数可以是运行期变量
        std::cout << "Function argument (runtime): " << n << "\n";
    }
};

int main() {
    // 模板场景：默认参数编译期确定
    TemplateDemo<>::print();
    // TemplateDemo<RuntimeVar>::print(); // 编译错误！RuntimeVar不是编译期常量

    // 函数场景：默认参数运行期动态求值
    FunctionDemo fd;
    fd.print();
    RuntimeVar = 200;
    fd.print();

    return 0;
}

输出：

Template value (compile-time): 42
Function argument (runtime): 100
Function argument (runtime): 200

关键区别：模板参数无法使用运行期变量，编译期直接拦截错误；类成员函数的默认参数会随运行期变量的变化而改变值。

2. 函数场景 #

#include <iostream>

constexpr int CompileTimeConst = 42;
int RuntimeVar = 100;

// 带默认模板参数的函数模板：参数为编译期常量
template<int N = CompileTimeConst>
consteval void TemplateFunc() {
    std::cout << "Template function (compile-time): " << N << "\n";
}

// 带默认函数参数的普通函数
void NormalFunc(int n = RuntimeVar) {
    std::cout << "Normal function (runtime): " << n << "\n";
}

// 带constexpr默认参数的函数
constexpr int ConstexprFunc(int n = CompileTimeConst) {
    return n;
}

int main() {
    // 模板函数：强制编译期执行
    TemplateFunc();
    // TemplateFunc<RuntimeVar>(); // 编译错误！RuntimeVar不是编译期常量

    // 普通函数：运行期求值
    NormalFunc();
    RuntimeVar = 200;
    NormalFunc();

    // constexpr函数：可编译期也可运行期执行
    constexpr int val = ConstexprFunc(); // 编译期求值，val=42
    std::cout << "Constexpr function (compile-time result): " << val << "\n";

    return 0;
}

输出：

Template function (compile-time): 42
Normal function (runtime): 100
Normal function (runtime): 200
Constexpr function (compile-time result): 42

关键区别：模板函数的参数从根源上保证是编译期常量；constexpr函数虽然支持编译期求值，但如果没有显式用consteval或constexpr变量捕获，仍可能在运行期执行，而模板参数的方式无需额外约束就确保编译期处理。

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