一个 msvc 与 gcc/clang 不一致的例子,哪边是对的?

下面的代码基于 C++17,msvc 是最新版本的( 16.8.2 ),gcc/clang 也是最新版本的,可在线运行:godblot

namespace user
{
    template<typename T> const T unit { 1 };

    template<typename Def>
    struct data
    {
        typename Def::value_type val;
    };
    template<typename Def> const data<Def> unit<data<Def>> { Def::unit_val() };

    struct decimal_def
    {
        using  value_type = int;
        static value_type unit_val() noexcept { return 10; }
    };
    using decimal_data = data<decimal_def>;
    inline const auto decimal_data_unit = unit<decimal_data>;
}

#include <iostream>
int main()
{
    std::cout << user::decimal_data_unit.val << std::endl;
}

预期输出:10

msvc 输出:0

gcc/clang 输出:10

相关文章

4 thoughts on “一个 msvc 与 gcc/clang 不一致的例子,哪边是对的?

  1. 顺带提一下,这样修改可以使 msvc 的输出符合预期:

    inline const auto & decimal_data_unit = unit<decimal_data>;

    主要想讨论一下,上面的写法是否有问题,还是编译器的 bug ?

  2. @lcdtyph 确实是 work 的,而且我发现问题还跟 data 的构造函数有关:

    如果给 data 上一个普通的构造函数,结果又不行了(变成 0 ),需要再进一步把构造函数修饰成 constexpr (这也说明例子中原本默认的 aggregate 构造函数是 constexpr,但我好像没找到标准说明?)

    所以问题是,这个行为到底是 msvc 比较正确还是 gcc 比较正确呢?

  3. @wutiantong
    我对标准了解的不深,说不上哪边是对的…我也没有 msvc 环境,上面的修改是根据经验改的

  4. @wutiantong 不是构造函数的问题

    在初始化的时候需要调用 unit_val(),问题是编译器 什么时候 用 unit_val()的返回值对它赋值

发表评论

邮箱地址不会被公开。 必填项已用*标注