使用内部结构体时std::tuple缺失默认构造函数的编译兼容性问题

这段代码在MSVC及Clang 17+中可正常编译，但在GCC 14或Clang ≤16中编译失败。将内部结构体移至全局作用域，或移除模板的显式默认构造函数均可修复该问题。

代码示例 #

#include <tuple>

template<typename ...Ts> struct myTemplate
{
    using MyTuple = std::tuple<Ts...>;
    
    myTemplate() = default;

    MyTuple tupleMember;
};

struct myOuterStruct
{
    struct myInnerStruct
    {
        int someMember=0;
    };

    myTemplate<myInnerStruct> someMember;
};


myOuterStruct someVariable;

编译错误信息 #

<source>:23:15: error: call to implicitly-deleted default constructor of 'myOuterStruct'
myOuterStruct someVariable;
              ^
<source>:19:31: note: default constructor of 'myOuterStruct' is implicitly deleted because field 'someMember' has a deleted default constructor
    myTemplate<myInnerStruct> someMember;
                              ^
<source>:7:5: note: explicitly defaulted function was implicitly deleted here
    myTemplate() = default;
    ^
<source>:9:13: note: default constructor of 'myTemplate<myOuterStruct::myInnerStruct>' is implicitly deleted because field 'tupleMember' has no default constructor
    MyTuple tupleMember;

问题原因 #

这是C++标准中关于显式默认构造函数的删除规则与嵌套依赖类型可见性的编译器实现差异导致的：

• 当显式默认模板类myTemplate的构造函数时，该构造函数是否被隐式删除，需要在模板实例化阶段确定。
• 实例化myTemplate<myOuterStruct::myInnerStruct>时，编译器需要判断std::tuple<myInnerStruct>是否具备默认构造能力。对于GCC 14、Clang ≤16这类旧版本编译器，它们在处理嵌套于外部结构体中的内部类型时，模板实例化阶段无法正确识别myInnerStruct的默认构造函数（尽管myInnerStruct因类内成员初始化器int someMember=0会被编译器自动生成默认构造函数），错误判定std::tuple<myInnerStruct>没有默认构造函数，进而导致myTemplate的显式默认构造函数被隐式删除。
• 而MSVC和Clang 17+在处理嵌套依赖类型的查找时，能正确识别myInnerStruct的完整定义和默认构造能力，因此可以正常实例化std::tuple<myInnerStruct>的默认构造函数，使得myTemplate的显式默认构造函数有效。

修复方法原理 #

• 将内部结构体移至全局作用域：此时模板实例化时，myInnerStruct是全局可见的独立类型，编译器能直接明确它的默认构造能力，不会出现依赖查找的判定问题。
• 移除模板的显式默认构造函数：此时编译器会为myTemplate自动合成默认构造函数，合成过程发生在更晚的编译阶段，此时myInnerStruct的完整定义已完全可见，编译器能正确判断std::tuple<myInnerStruct>可被默认构造。

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