C++ constexpr 函数模板使用非文字和非聚合类型进行编译。这是 gcc 的错误吗？ [复制]

Question

考虑以下代码：

#include <iostream>
#include <cstdlib>

struct NonAggregate
{
    // Non-aggregate due to user defined constructor
    // It is also not constexpr
    explicit NonAggregate(int i) : val_(i) {}
    int val_;
};

template <typename T = int>
constexpr NonAggregate GetNonAggregate(NonAggregate foo)
{
    return foo;
}

int main() 
{
    // Let us pass a random value to the constructor that can only be known at runtime just in case
    std::cout << GetNonAggregate(NonAggregate(std::rand())).val_ << std::endl;
    return 0;
}

此代码使用 gcc 10.2，as seen here in godbolt 编译。这段代码不能用 clang 编译：

error: constexpr function's return type 'NonAggregate' is not a literal type

但是，如果我们只是从 GetNonAggregate() constexpr 函数中删除模板：

constexpr NonAggregate GetNonAggregate(NonAggregate foo)
{
    return foo;
}

然后代码无法使用 clang 和 gcc 编译。我在这里有什么遗漏吗？此代码不是有效的 C++，但代码库的某些部分依赖于 gcc 的这种行为，当我们尝试使用 clang 时突然无法编译。

我还没有用 msvc 编译器测试过这段代码，我会在测试时更新这个问题。

Answer 1

根据temp#res.general-8.1

无法为模板或 constexpr if 语句的子语句生成有效的特化，并且模板未实例化，或者

根据dcl.constexpr#7

如果 constexpr 函数模板或类模板的成员函数的实例化模板特化无法满足 constexpr 函数的要求，则该特化仍然是 constexpr 函数，即使对此类函数的调用不能出现在一个常量表达式。如果模板的特殊化在被视为非模板函数时不能满足 constexpr 函数的要求，则该模板是非良构的，不需要诊断。

确实是为了

template <typename T = int>
constexpr NonAggregate GetNonAggregate(NonAggregate foo)
{
    return foo;
}

没有T 可以使函数 constexpr。所以代码是格式错误的 NDR。

Clang 可以很好地进行诊断。