MSVC constexpr 函数 'xyz' 无法生成常量表达式

Question

我创建了一个函数，将多个较小的值连接成一个较大的值，同时保留值的二进制表示（例如，从多个

int argb

构建一个

unsigned char r, g, b, a

）。我知道我也可以通过对值进行位移来实现这一点，但这不是这个问题的问题。

但是，如果我使用该函数实际从这些值生成整数，msvc 会抛出编译器错误：

error C3615: constexpr function 'Color::operator int' cannot result in a constant expression
note: failure was caused by call of undefined function or one not declared 'constexpr'
note: see usage of '<lambda_dcb9c20fcc2050e56c066522a838749d>::operator ()'

这里是一个完整的示例。 Clang 和 gcc 编译代码，但 msvc 拒绝：

#include <type_traits>
#include <memory>

namespace detail
{
    template <typename From, typename To, size_t Size>
    union binary_fusion_helper
    {
        const From from[Size];
        const To to;
    };

    template <typename To, typename Arg, typename ...Args, typename = std::enable_if_t<(... && std::is_same_v<std::remove_reference_t<Arg>, std::remove_reference_t<Args>>)>>
    constexpr To binary_fusion(Arg arg, Args... args)
    {
        using in_t = std::remove_reference_t<Arg>;
        using out_t = To;
        static_assert(sizeof(out_t) == sizeof(in_t) * (sizeof...(Args) + 1), "The target type must be of exact same size as the sum of all argument types.");
        constexpr size_t num = sizeof(out_t) / sizeof(in_t);
        return binary_fusion_helper<in_t, out_t, num> { std::forward<Arg>(arg), std::forward<Args>(args)... }.to;
    }
}

template <typename To>
constexpr auto binary_fusion = [](auto ...values) -> To
{
    return detail::binary_fusion<std::remove_reference_t<To>>(values...);
};

struct Color
{
    float r, g, b, a;

    explicit constexpr operator int() const noexcept
    {
        return binary_fusion<int>(static_cast<unsigned char>(r * 255), static_cast<unsigned char>(g * 255),
                                  static_cast<unsigned char>(b * 255), static_cast<unsigned char>(a * 255));
    }
};

clang 和 gcc 是否会忽略代码永远不会作为 constexpr 运行，或者 msvc 是否错误？如果msvc是正确的，为什么函数不能在编译时运行？

Answer 1

每个编译器都是正确的。 [dcl.constexpr]/5中的规则是：

对于既不是默认值也不是模板的 constexpr 函数或 constexpr 构造函数，如果不存在参数值，则函数或构造函数的调用可以是核心常量表达式的计算子表达式，或者对于构造函数，常量初始值设定项对于某些对象（[basic.start.static]），程序格式错误，无需诊断。

没有任何参数可以传递给

binary_fusion

来允许它被评估为核心常量表达式，因此声明它

constexpr

是格式不正确的，NDR。出现这种情况的原因是因为

detail::binary_fusion()

用一个活动成员初始化一个联合，然后从非活动成员中读取，这是不允许在常量表达式中执行的操作 ([expr.const]/4.8):

应用于左值的左值到右值转换，该左值引用联合体或其子对象的非活动成员；

MSVC 以某种方式诊断了这一点，而 gcc/clang 恰好没有。所有编译器都正确诊断这一点：

constexpr Color c{1.0f, 1.0f, 1.0f, 1.0f};
constexpr int i = static_cast<int>(c); // error: not a constant expression

Answer 2

是的，Qt 在 2019 年有了巨大的增长。现在仍在增长，尽管速度不同。如果知道内部人士是否正在投资该公司，那就太好了。我通常使用 prismo.pro 进行内幕交易分析。问题是，他们没有 Qt 的数据，因为它是一家芬兰公司，但该平台目前只支持美国股票。他们承诺将添加欧洲公司，所以我将其添加为书签以防万一。