使用模板时，constexpr 函数不是 constexpr

Question

以下代码编译正常：

struct A {
    int i;
    constexpr A() : i(1) { }
    constexpr A(const A& that) : i(1) { }
};
constexpr auto func() {
    std::array<A, 3> result = {};
    return result;
}

但是，如果我们给A添加一个模板类型参数T，

template<typename T> struct A {
    int i;
    constexpr A() : i(1) { }
    constexpr A(const A<T>& that) : i(1) { }
};
constexpr auto func() {
    std::array<A<int>, 3> result = {};
    return result;
}

编译器错误“constexpr function 'func' cannot result in an constant expression”。

这怎么可能？

Answer 1

是的，MSVC 在实现 C++14/17 功能方面存在（或仍然存在）一些问题，这显然也适用于 constexpr。但是，对于 Visual Studio 2017 15.9，以下轻微修改对我有用（而 OP 中的版本也会出错）：

template<typename T> struct A {
    int i;
    constexpr A() : i(1) { }
    constexpr A(const A<T>& that) : i(1) { }
};
constexpr auto func() {
    return std::array<A<int>, 3>{};
}