C++中typename = 的类型名赋值机制是如何工作的？

先看你提到的示例代码：

template<class T,
typename = std::enable_if_t<std::is_array<T>::value> >
void destroy(T* t) 
{
   for(std::size_t i = 0; i < std::extent<T>::value; ++i) {
    destroy((*t)[i]);
   }
}

下面拆解typename = std::enable_if_t<...>的含义和作用：

• typename的作用：
  这里的typename是用来明确后续的std::enable_if_t<...>是一个类型。因为std::enable_if_t的结果依赖于模板参数T（属于依赖名称），编译器需要typename来区分它是类型、变量还是其他实体，避免解析歧义。

• =的作用：
  等号是给这个匿名的模板参数设置默认类型。调用destroy时，你不用手动传递第二个模板参数，编译器会自动尝试用默认值来完成模板推导：

  • 当T是数组类型时，std::is_array<T>::value为true，std::enable_if_t会展开为void（enable_if的默认第二个参数就是void），模板替换成功，这个函数版本会被纳入候选重载。
  • 当T不是数组类型时，std::is_array<T>::value为false，std::enable_if_t会触发SFINAE（替换失败不是错误）规则，这个函数版本会被直接从候选列表中剔除，不会导致编译报错。

• 为什么移除typename =后代码还能运行？
  如果你改成了template<class T, std::enable_if_t<std::is_array<T>::value>>，这种写法在C17及以后是合法的——编译器会自动推断这个匿名参数是类型参数，相当于隐式补全了typename。但这是C17才支持的语法糖，在更早的C标准（比如C11/14）里，必须显式写typename来声明类型参数，否则会编译失败。

另外，这种带默认参数的写法核心目的是：在不额外增加显式模板参数的前提下，对模板的实例化范围做约束，确保只有数组类型的T能匹配这个destroy函数，同时不会干扰其他同名的destroy重载（比如针对单个对象的版本）。

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