Clang 3.7.0 抱怨类不是字面意思，因为它不是聚合并且没有 constexpr 构造函数

以下代码在 GCC (4.9.3) 和 VC++ (19.00.23506) 中编译良好，但在 Clang (3.7.0) 中给出这些错误。

错误：constexpr 函数的返回类型“Foo”不是文字类型

注意：“Foo”不是字面意思，因为它不是聚合并且没有 除复制或移动构造函数之外的 constexpr 构造函数

Code:

#include <iostream>
#include <vector>

struct Foo
{
    std::vector<int> m_vec;
    Foo(const int *foo, std::size_t size=0):m_vec(foo, foo+size)
    {;}
    //Foo(const std::initializer_list<int> &init):m_vec{init}
    //{;}
};


template <std::size_t N>
constexpr Foo make_fooArray(const int (&a)[N]) noexcept
{
    return {a,N};
}


int main()
{
    Foo f{ make_fooArray({1,2,3}) };

    for (auto i : f.m_vec)
        std::cout<< i <<" ";
    std::cout<<std::endl;
}

在 rextester 上运行的代码：

海湾合作委员会和风险投资公司

Clang

您能澄清一下这是编译器错误还是我错过了什么？ C++11 标准怎么说？

这是另一种情况，它可以在 GCC 和 VC 中编译，但不能在 Clang 中编译。

#include <iostream>

template <typename T, std::size_t N>
constexpr std::size_t sizeOf_fooArray(const T (&)[N]) noexcept
{
    return N;
}

int main()
{
    std::cout<< sizeOf_fooArray({16,20,53,87,54,7}) <<std::endl;
}

但是，如果您为 int[] 指定别名并显式使用它来指定initializer_list 的类型，则它适用于所有编译器。

#include <iostream>

template <typename T, std::size_t N>
constexpr std::size_t sizeOf_fooArray(const T (&)[N]) noexcept
{
    return N;
}

using intArray = int[]; //Added

int main()
{
    std::cout<< sizeOf_fooArray(intArray{16,20,53,87,54,7}) <<std::endl;
}

所有编译器都是对的。

一般来说，使用函数模板，一个实例化就可以满足某一函数的要求。constexpr功能，但另一个没有。通常，这意味着constexpr对于那些不满足要求的实例，实际上会被默默地忽略。例子：

template <typename T> constexpr T f(T v) { return v; }

这俩f<int> and f<std::string>实例化是有效的，但是f<std::string>不能在常量表达式中调用。

然而，作为该规则的例外，如果没有any可能的模板参数可能会导致满足通常要求的实例化constexpr功能，程序格式错误，无需诊断。这意味着编译器可以完全忽略此规则，但同样可以将代码诊断为致命错误。

一般来说，不可能可靠地检测到违反此规则的情况，因此不需要进行诊断。有些编译器比其他编译器更努力地仍然提供一些诊断。

所有这些都在 [dcl.constexpr]p6 的标准中进行了描述：

如果实例化的模板特化为constexpr函数模板或类模板的成员函数将无法满足constexpr函数或constexpr构造函数，该专业化仍然是constexpr函数或constexpr构造函数，即使对此类函数的调用不能出现在常量表达式中。如果没有专门化的模板可以满足constexpr函数或constexpr构造函数 当被视为非模板函数或构造函数时，模板是格式错误的；无需诊断。