GCC下如何用SFINAE检测含柔性数组成员的结构体并禁用模板

问题场景 #

定义如下带柔性数组成员的结构体：

struct foo
{
    int n;
    int values[];
};

目前已经构造出一个无法被含柔性数组成员的结构体实例化的类模板：

template<class T>
struct invalid_with_fam
{
    T x;
    int unused;
};

尝试实例化invalid_with_fam<foo>时会触发编译错误，提示柔性数组成员不在结构体末尾：

<source>:14:23:   required from here
<source>:11:9: error: flexible array member 'foo::data' not at end of 'struct invalid_with_fam<foo>'
   11 |     int data[];
      |         ^~~~
<source>:5:9: note: next member 'int invalid_with_fam<foo>::unused' declared here
    5 |     int unused;
      |         ^~~~~~
<source>:2:8: note: in the definition of 'struct invalid_with_fam<foo>'
    2 | struct invalid_with_fam

需求是在GCC平台下（柔性数组成员为GCC原生支持的扩展特性），借助上述特性为所有包含柔性数组成员的结构体禁用指定模板，避免对象切片问题。例如下方的do_stuff函数在T=foo时应当触发编译错误，防止赋值操作丢失柔性数组数据：

template<class T>
void do_stuff(T const& x)
{
   //...
   y = x;  // 此处会发生对象切片
   //...
}

核心实现逻辑是利用SFINAE检测invalid_with_fam<T>是否可以合法实例化：如果T带柔性数组成员，invalid_with_fam<T>会因为柔性数组后存在其他成员导致类型非法，SFINAE捕获这个非法状态即可实现模板的条件禁用。

实现方案 #

你提出的思路完全可行。GCC对柔性数组成员的位置检查属于模板实例化阶段的可捕获错误，会被SFINAE上下文正常识别，直接基于void_t实现类型萃取即可，不需要依赖额外的编译器内置函数。

第一步：实现柔性数组成员检测萃取 #

#include <type_traits>

template<class T>
struct invalid_with_fam
{
    T x;
    int unused;
};

// 主模板：SFINAE替换失败时匹配，说明T包含柔性数组成员
template<class T, class = void>
struct has_flexible_array_member : std::true_type {};

// 偏特化：仅当invalid_with_fam<T>为合法完整类型时匹配，说明T不包含柔性数组成员
template<class T>
struct has_flexible_array_member<T, std::void_t<decltype(sizeof(invalid_with_fam<T>))>> : std::false_type {};

// 便捷常量
template<class T>
inline constexpr bool has_flexible_array_member_v = has_flexible_array_member<T>::value;

如果使用GCC7以下的老旧版本，标准库没有内置void_t，自行添加如下定义即可：

template<class...>
using void_t = void;

第二步：给目标模板添加约束 #

用enable_if给需要禁用的模板加上SFINAE约束，当检测到类型包含柔性数组成员时，直接将该模板从重载集中剔除：

template<class T, class = std::enable_if_t<!has_flexible_array_member_v<T>>>
void do_stuff(T const& x)
{
    // 业务逻辑，包含柔性数组成员的类型无法进入该函数
    T y = x; // 不会出现切片问题
}

注意事项 #

• 该方案仅在GCC/Clang编译器下生效。柔性数组成员最早是C99标准特性，C直到C23才正式纳入标准规则，MSVC对柔性数组的实现逻辑与GCC不一致，该检测逻辑在MSVC环境下不成立。
• 包含柔性数组成员的类型本身不支持值拷贝、值传递，这类类型只能通过指针/引用操作，动态分配的内存块尾部附带柔性数组的实际存储，值传递/值拷贝必然丢失尾部数组数据，触发未定义行为。
• 该检测会同时捕获GCC下的旧式零长度数组扩展（即最后一个成员声明为int arr[0]的情况），这类类型的使用风险和标准柔性数组成员完全一致，同样会出现切片问题，该检测行为符合预期。

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