类模板的 constexpr 运算符重载

Question

我正在使用模板元编程技术，目前我只是在玩弄不同的做事方法。代码如下：

template<const int A>
struct iwrapper
{
    static const int num = A;
};

template<int A, int B>
constexpr iwrapper<A+B> operator+(iwrapper<A>, iwrapper<B>)
{
    return iwrapper<iwrapper<A>::num + iwrapper<B>::num>();
}

int main()
{
    constexpr iwrapper<2> first;
    constexpr iwrapper<4> second;

    constexpr auto answer = first + second;
}

当我尝试运行它时，它给了我这个错误消息：

error: the value of 'first' is not usable in a constant expression

有人可以帮我弄清楚原因吗？谢谢。

Answer 1

我在您的代码中没有发现问题，并且它在我的 clang++ 3.8.1 中编译时没有问题。

但是我的 g++ 6.3.0 也出现了同样的错误。

尝试使用较新版本的 g++（从 g++ 7.1.0 开始），错误消失。

所以我认为该错误是旧版本 g++ 中的错误，从 g++ 7.1.0 更正。