SFINAE对C++符号生成的影响及跨平台可靠性咨询

辅助代码 #

template <typename T, typename = void>
struct is_complete : std::false_type {};

template <typename T>
struct is_complete<T, decltype(void(sizeof(T)))> : std::true_type {};

template <typename T>
inline constexpr auto is_complete_v = is_complete<T>::value;

符号生成对比 #

生成相同符号的函数签名 #

// 当type<T>完整时启用，实例化符号：_Z4funcI6MyTypeLPv0EEmv
template <typename T, std::enable_if_t<is_complete_v<type<T>>>* = nullptr>
size_t func() {...} 

// 当type<T>不完整时启用，实例化符号：_Z4funcI6MyTypeLPv0EEmv
template <typename T, std::enable_if_t<!is_complete_v<type<T>>>* = nullptr>
size_t func(); 

生成不同符号的函数签名 #

// 实例化符号：_Z4funcI6MyTypeENSt9enable_ifIX13is_complete_vI4typeIT_vEEEmE4typeEv
template <typename T>
std::enable_if_t<is_complete_v<type<T>>, size_t> func();

// 实例化符号：_Z4funcI6MyTypeENSt9enable_ifIXnt13is_complete_vI4typeIT_vEEEmE4typeEv
template <typename T>
std::enable_if_t<!is_complete_v<type<T>>, size_t> func();

环境信息 #

• 目标平台: x86_64-linux-gnu
• 操作系统: Ubuntu22.04 Linux 5.15.0-106-generic
• GCC版本: 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04)
• 编译选项: -std=gnu++17

技术问询 #

1. 所有签名均会将模板信息纳入符号，为何后两种形式的符号包含更详细的信息？
2. 编写跨平台/跨编译器代码时，能否依赖第一种符号相同的实现方式？

背景说明 #

模板函数func<T>设计为可被用户随时调用，所有T的实现逻辑一致，仅需编写一次函数体。但该函数依赖模板类type<T>的定义才能正常工作，而用户有时无法获取type<T>的定义，此时仍需允许用户调用func<T>（即使type<T>不完整）。

因此引入第一种情况的签名：当type<T>已定义时，调用带函数体的版本，编译器利用type<T>定义生成代码；当type<T>未定义时，调用无函数体的版本，编译器无需type<T>定义即可生成符号引用。编译器为这两个版本生成相同符号，确保链接器正常工作（type<T>和func<T>的实现已在库文件中）。该方案满足两个需求：

1. 用户可在有无type<T>定义的情况下调用func<T>；
2. func<T>的函数体仅需编写一次。

解答 #

问题1：为何后两种形式的符号包含更详细信息？ #

这是由C名字修饰（Name Mangling）规则决定的，以你使用的GCC遵循的Itanium C ABI为例：

• 第一种签名中，enable_if作为默认模板参数使用，最终推导后的参数类型是void*（std::enable_if_t<cond>默认取void，因此enable_if_t<...>*即为void*）。名字修饰时只会记录模板参数的最终类型（对应符号中的LPv），不会展开enable_if内部的条件判断逻辑，因此两个签名实例化后的符号结构一致。
• 第二种签名中，enable_if作用于返回类型，此时返回类型是std::enable_if<cond, size_t>::type的实例化结果。名字修饰需要完整记录这个返回类型的模板依赖关系，包括is_complete_v<type<T>>的布尔结果，因此符号中会包含enable_if的完整模板参数结构，两个版本因条件取反而导致符号细节不同。

问题2：跨平台/跨编译器能否依赖第一种符号相同的实现方式？ #

不能，原因如下：

1. 名字修饰规则依赖编译器与ABI：不同编译器遵循的ABI完全不同，比如MSVC使用自有名字修饰规则，与GCC/Clang遵循的Itanium ABI不兼容，同一代码在MSVC下生成的符号会完全不同。
2. 标准无强制规定：C++标准并未对模板默认参数的名字修饰细节做出统一要求，即使是遵循同一ABI的不同编译器（如GCC与Clang），或同一编译器的不同版本，也可能在边缘场景下出现修饰差异。
3. 实现细节不稳定：这种符号相同的行为是GCC对Itanium ABI的具体实现细节，不属于标准保证的行为，未来编译器版本迭代可能改变这一处理逻辑，导致依赖该行为的代码链接失败。

内容的提问来源于stack exchange，提问作者王雨泽