关于std::enable_if表达式中type*的含义及使用疑问

嘿，这个问题问到点子上了！我来一步步给你拆解清楚这两个部分的作用：

首先说type的作用 #

std::enable_if是C++里用来实现**SFINAE（替换失败并非错误）**的核心工具之一，它的本质是一个模板结构体，逻辑非常直白：

• 当模板参数里的布尔条件（比如示例里的std::is_trivially_destructible<T>::value）为true时，std::enable_if<条件>内部会定义一个公共的类型别名type；
• 如果条件为false，这个type就不存在。

这个type就是std::enable_if用来“放行”合法重载的关键：只有条件满足时，typename std::enable_if<...>::type才是一个有效的类型，编译器才能接受这个函数重载；如果条件不满足，这部分代码会变成无效的语法，触发SFINAE机制——编译器不会报错，只会直接跳过这个重载，去尝试其他可能的函数版本。

再来说type*是什么意思 #

示例里用typename std::enable_if<...>::type* = 0作为函数的一个参数，这么做有几个核心原因：

1. 避开void类型的限制：当你不给std::enable_if指定第二个模板参数时，它的type默认是void。而void类型是不能直接作为参数类型的（你没法创建一个void类型的对象），但void*是合法的指针类型，空指针0（或者C++11后的nullptr）也是合法的默认值，完美绕开了这个问题。
2. 不影响函数调用体验：因为这个参数有默认值，你调用destroy(t)的时候完全不需要手动传这个参数，和没有这个参数的函数调用方式一模一样，不会增加使用成本。
3. 精准筛选重载：当T满足平凡可析构的条件时，type存在，type*是有效的参数类型，这个重载会被编译器加入候选列表；当T不满足条件时，type不存在，type*的类型无法解析，编译器就会自动排除这个重载，转而选择其他适配的版本（比如专门处理非平凡析构的destroy重载）。

举个实际的例子：

• 如果T是int（属于平凡可析构类型），那么std::enable_if<true>::type就是void，参数类型就是void*，默认值0，这个函数完全合法，可以正常调用；
• 如果T是一个自定义的、带有非平凡析构函数的类，条件为false，std::enable_if<false>没有type成员，typename std::enable_if<...>::type*会变成无效代码，编译器直接跳过这个重载。

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