小编sea*_*lus的帖子

我有以下矩阵类：

template<size_t Rows, size_t Cols>
class matrix
{
    float data[Rows][Cols];
public:
    constexpr matrix(const float (&input)[Rows][Cols]) : data{}
    {
        for (size_t i = 0; i < Rows; ++i)
            std::copy(input[i], input[i] + Cols, data[i]);
    }
};

用法：

constexpr auto m = matrix({
    {4.3f, 5.0f, 1.2f},
    {8.0f, 1.9f, 6.5f},
    {9.1f, 2.2f, 3.7f},
});

这可以编译（在C ++ 20中）并且可以正常工作，但是需要初始化data两次。第一个data{}是必需的，因为所有内容都必须在constexpr构造函数中进行成员初始化，而第二个则复制实际输入。

在编译时初始化两次无关紧要，但这也意味着该构造函数无法在运行时使用，因为它不必要地将同一数据初始化两次。

有什么等效于此伪代码的吗？

constexpr matrix(const float (&input)[Rows][Cols])
{
    for (size_t i = 0; i < Rows; ++i)
        std::constexpr_uninitialized_copy(input[i], input[i] + Cols, …

甲相关的问题提供了一种类型无关的例子false中static_assert：

template<class T> void foo()
{
    if constexpr(false)
        static_assert(false);
}

但是，我更担心同样的事情是否适用于依赖于类型的false. 这是标准中的相关引用：

如果不能为模板或模板中的 constexpr if 语句的子语句生成有效的特化，并且模板未实例化，则程序格式错误，无需诊断。§ 13.7/8.1

template<class T> void foo()
{
    if constexpr(cond)
        // ...
    else
        static_assert(!std::is_same_v<T, T>);
}

template<class T> struct dependent_false : std::false_type {};
template<class T> void foo()
{
    if constexpr (cond)
        // ...
    else
        static_assert(dependent_false<T>::value);
}