为何非const对象会触发const成员函数模板的实例化？

为什么非const对象会触发const成员函数模板的实例化？ #

当你用非const对象s调用s.func(FuncObj())时，编译器会执行以下关键步骤：

1. 收集候选函数：非const对象可以调用const成员函数（非const的this指针能隐式转换为const版本），因此S::func(F)（非const版）和S::func(F) const（const版）都会被纳入重载决议的候选集合。
2. 检查模板约束：对两个模板函数分别验证requires条件。对于const版的std::is_invocable_v<F, const Data&>，编译器需要判断FuncObj能否接受const int&调用。
3. 隐式实例化触发：由于FuncObj::operator()的返回类型是auto，根据C++标准，判断可调用性时必须实例化该函数的函数体来推导返回类型。这个实例化过程会触发static_assert(!std::is_const_v<T>)，直接导致编译错误。

为什么替换成函数内的static_assert就无错误？ #

当把const版的requires约束换成函数内部的static_assert后：

1. 约束检查阶段不触发实例化：此时const版模板的requires约束被移除，只要模板实参推断能完成，它就会留在候选集合中，但不会在约束检查阶段触发FuncObj::operator()的实例化。
2. 重载决议选择更匹配的版本：对于非const对象，非const成员函数比const成员函数的绑定更精确（非constthis匹配优先级更高），因此重载决议会直接选中非const版的func，const版模板不会被实例化，自然不会触发内部的static_assert。

对应C++标准条款说明 #

• 候选函数范围：根据[over.match.funcs]/4，const成员函数对非const对象是有效的候选，因为非const的类对象指针/引用可以隐式转换为const限定的版本。
• 约束检查与实例化：根据[expr.prim.req]/3和[temp.deduct]/8，当requires表达式中的条件涉及到返回类型推导的函数调用时，编译器必须实例化该函数的定义以确定返回类型，这会执行函数体内的所有代码（包括static_assert）。
• 重载决议优先级：根据[over.match.best]/2.4，当两个函数模板都满足约束时，绑定到非constthis的成员函数比绑定到constthis的成员函数更匹配，会被优先选择。

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