检测结构包含一个灵活的数组成员

Question

假设我有这样的结构，

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

可以使用Sfinae检测灵活的数组成员吗？至少，我可以构造一个不能与这种结构实例化的类模板：

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

如果我尝试创建invalid_with_fam＆lt; foo＆gt;：

<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

所以现在我想使用该模板，以便我可以禁用任何模板这样的结构。由于这是一个非标准功能，因此我应该提到我针对海湾合作委员会。请注意，我不询问是否可能进行灵活的数组成员。我认为它们是，但希望基于包含此类数组的事实禁用某些模板功能。示例：

template<class T>
void do_stuff(T const& x)
{
   //...
   y = x;  // Slicing would occur here!!!
   //...
}

因此，使用do_stuff与t = foo使用do_stuff应该是一个汇编错误。

为此，我认为必须有一种方法来触发无效类型的Sfinae。 Invalid_with_fam＆lt; foo＆gt;不存在，因为后面的数据成员将需要不确定的内存布局（未使用数组的一部分？）。因此，如果SFINAE工作可检测类模板无法实例化，则应起作用。

Answer 1

C ++没有FAM。编译器对此非标准功能提供的任何支持都可能是不一致的，并且与C ++的其余部分无法很好地集成。

话虽如此，我们可以假装FAM是正常的C ++代码，并尝试使用Sfinae检测它。

不幸的是，它行不通，因为仅在所谓的“立即上下文”中出现错误。该标准没有对“立即上下文”的概念给出定义，但它或多或少（尤其是从此 note ），实例化的类内部不是它。

因此，答案是否定的，使用SFINAE使用类似于invalid_with_fam的模板无法检测到它。也许在其他情况下，无法使用FAM结构，并且可以将其嵌入替代的“直接上下文”中，但我不知道任何东西。