C++ 14与C++ 17的默认构造函数调用差异

考虑以下代码(问题如下):

#include <iostream>

struct Type0
{
    Type0(char* c)
    {}
};

struct Type1
{
    Type1(int* i=nullptr) : i_(i)
    {}

    Type1(const Type1& other) = default;

    int* i_;
};

template <typename ...>
struct Composable;

template <typename T0, typename ... T>
struct Composable<T0, T...> : T0, Composable<T...>
{
    Composable()
    {
        std::cout << "Default Invoked: " << sizeof...(T) << std::endl;
    }

    Composable(const Composable& other) = default;

    template<typename Arg, typename ... Args>
    Composable(Arg&& arg, Args&& ... args) :
        T0(std::forward<Arg>(arg)), Composable<T...>(std::forward<Args>(args)...) 
    {
        std::cout << "Non-default invoked: " << sizeof...(T) << std::endl;
    }
};

template <>
struct Composable<>{};

int main()
{
    int i=1;
    char c='c';

    auto comp = Composable<Type0, Type1>(&c, &i);

    std::cout << comp.i_ << std::endl;
}

你可以找到实时代码 here . 此代码有一个有趣的属性:取决于是否使用 --std=C++17 或 --std=C++14 选项,行为会发生变化(您可以在我指向实时代码的链接中尝试此操作:编辑g++调用 --std 参数位于左下角)。

用 --std=c++14 ,得到以下输出:

Non-default invoked: 0
Non-default invoked: 1
Default Invoked: 0
Non-default invoked: 1
0x0

用 ——STD=C++ 17 ,您可以改为:

Non-default invoked: 0
Non-default invoked: 1
0x7ffcdf02766c

对我来说,这种差异令人困惑。显然,C++ 17版本正在做正确的事情,而C++ 14是错误的。C++ 14版本正在调用两个默认构造函数。 Composable (从中) Type1 (这里是 0x0 最后一行输出来自 1型 将此作为其默认值 i 构造函数参数)。但是,我看不到任何应该调用默认构造函数的地方。

此外,如果我注释掉 可合成的 总之,C++ 17版本与以前完全一样,而C++ 14版本现在无法编译,抱怨缺少一个默认构造函数。如果有任何希望通过不同的优化行为以某种方式解释这种差异,那么这个事实肯定会扼杀它(希望很小,因为观察到的差异在所有优化级别上都存在,包括0)。

有人能解释这种区别吗?C++ 14的行为是一个bug,还是一些我不理解的行为?如果C++ 14的行为在C++ 14的规则中是正确的,那么有人能解释一下默认构造函数调用来自何处吗?