gcc/clang都输出0/1，我迷茫了。

#include <variant>
#include <iostream>
#include <type_traits>
 
struct C1
{
    struct A
    {
        int a = 0;
    };
 
    std::variant<A> var;
};
 
struct C2
{
    struct A
    {
        int a = 0;
    };
 
    std::variant<std::monostate, A> var;
};
 
int main()
{
    std::cout << std::is_default_constructible_v<C1::A> << std::endl; // prints 0
    std::cout << std::is_default_constructible_v<C2::A> << std::endl; // prints 1
    return 0;
}

--
FROM 158.140.1.*

gcc 8.3输出都是1， gcc 12是0、1

这有个类似的问题：
stackoverflow dot com /questions/59252363/why-is-my-class-non-default-constructible
--
修改:z16166 FROM 222.130.138.*
FROM 222.130.138.*

std::variant<A,std::monostate>是把A放在0位置，gcc 12过不了


【 在 ziqin 的大作中提到: 】
: std::variant<A,std::monostate> 应该就可以了，看index=0的类能不能默认构造
:
--
FROM 222.130.138.*