如何实现C++ Concept的深度验证，强制触发模板实例化？

你遇到的问题是C++20 Concept的「浅层验证」特性导致的：addable<foo>能通过静态断言，但实际调用add(foo{}, foo{})却编译失败。这是因为Concept的requires表达式在检查函数模板调用时，默认仅完成重载决议（确认存在匹配的函数签名），不会触发函数模板体的实例化——而add<foo>的签名是合法的，但函数体内的a + b因foo未定义operator+而无法编译。

你的需求是让Concept评估过程强制触发模板实例化，若实例化失败则Concept判定为false，且方案需满足：

• 编译器发现唯一匹配项是模板
• 编译器尝试实例化该模板
• 实例化失败则Concept评估为false

解决方案 #

要实现这一点，我们可以在Concept中引入一个辅助constexpr函数模板，通过在该函数内实际调用目标模板，强制触发其完整实例化。当辅助函数的实例化因目标模板实例化失败而报错时，Concept会判定为不满足。

修改后的代码如下：

#include <concepts>

template<class T>
T add(T a, T b)
{ return a + b;}

// 辅助模板：触发add<T>的完整实例化
template<typename T>
constexpr bool check_add() {
    T a{}, b{};
    add(a, b); // 此处会强制实例化add<T>的函数体
    return true;
}

template<class T>
concept addable = requires {
    requires check_add<T>(); // 要求辅助函数能合法实例化并返回true
};

struct foo{};

static_assert(addable<int>);       // 正常通过
static_assert(addable<foo>);       // 触发add<foo>实例化，编译失败（符合预期）

int main()
{
    add(foo{}, foo{});  // 同样编译失败
}

原理说明 #

• 当评估addable<T>时，编译器会尝试实例化check_add<T>并调用它。
• check_add<T>内部的add(a, b)会强制触发add<T>的完整实例化，包括函数体的编译。
• 如果add<T>的实例化（比如add<foo>中a + b的操作）失败，check_add<T>的实例化会报错，导致requires check_add<T>()不满足，最终addable<T>判定为false。

这个方案是通用的，无论目标模板的返回类型是显式指定还是自动推导，都能强制触发其完整实例化，满足你提出的三个要求。

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