C++仅返回类型不同的函数模板重载规则及Clang行为疑问

为什么C++允许仅返回类型不同的函数模板重载 #

C++对普通函数的重载规则中，函数签名不包含返回类型，因为普通函数调用时的重载决议仅依赖传入的实参，无法通过返回类型区分候选，因此仅返回类型不同的普通函数属于重复定义，不被允许。

而函数模板的场景下，返回类型可以参与依赖上下文的推导：比如将模板名转换为指定类型的函数指针、将返回值赋值给明确类型的变量等场景下，返回类型会作为重载决议的判断依据。标准没有禁止这类模板重载，也是为了支持泛型编程中常见的「按目标返回类型选择实现」的需求，这类场景在普通函数中没有可落地的使用价值，但在模板元编程、泛型接口设计中非常实用。

示例中的两个模板属于合法重载：

int f(auto) { return 1; }
auto f(auto) { return 2; }

二者的函数模板签名可通过返回类型明确区分，不会被判定为重定义。

Clang的歧义消除行为是否符合C++标准 #

符合标准，不属于非标准扩展。

你提到的((int(*)(int))f)(3)调用场景，属于将模板名f转换为明确类型的函数指针int(*)(int)，此时会触发函数模板的偏序排序规则：两个模板都可以匹配该函数指针类型（第一个模板返回类型固定为int，完全匹配；第二个模板的auto返回类型可以推导为int，也能匹配），但第一个模板的返回类型是显式指定的非占位类型，比第二个使用auto占位符的模板更特化，因此重载决议会优先选择更特化的第一个模板，和Clang的行为完全一致。

哪怕第二个模板实例化后的实际返回类型和第一个一致，也不影响偏序规则的判断，因此该行为完全符合C++标准要求。

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