使用方法更改 constexpr 对象成员失败

Question

我试图通过一个方法更改constexpr对象成员的值，但我不明白为什么它在这种特定情况下不起作用：

#include <iostream>

struct test
{
    int m_counter = 0;

    constexpr test()
    {
        m_counter++;
        m_counter++;
        increment();
        increment();
        increment();
    }

    constexpr void increment()
    {
        m_counter++;   
    }

    constexpr int value() const
    {
        return m_counter;
    }
};

template<int value>
constexpr void check()
{
    std::cout << value << std::endl;
}

// constexpr test t; // value = 3, why ?

int main()
{
    constexpr test t; // value = 5, ok
    check<t.value()>();
}

当我在全局范围内创建对象时，我不明白为什么值是3。msvc和clang在两种情况下都显示5，但不显示gcc。谁错了？

Answer 1

这好像是g的bug，从g 5.1一直到g 7.0都可以重现。我认为这是一个错误，因为这种行为似乎是荒谬的。我摆弄了一下代码片段，我相信如果变量是全局的，编译器只执行第一个< code>increment()调用，而忽略其他调用:

constexpr test()
{
    m_counter++; // executed
    m_counter++; // executed
    increment(); // executed
    increment(); // NOT executed
    increment(); // NOT executed
}

// [...] will print 3

constexpr test()
{
    m_counter++; // executed
    m_counter++; // executed
    increment(); // executed
}

// [...] will print 3

constexpr test()
{
    m_counter++; // executed
    m_counter++; // executed
}

// [...] will print 2

constexpr test()
{
    m_counter++; // executed
    m_counter++; // executed
    increment(); // executed
    increment(); // NOT executed
    increment(); // NOT executed
    increment(); // NOT executed
    increment(); // NOT executed
    increment(); // NOT executed
}

// [...] will print 3

基本上，只会执行构造函数内部的一个＜code＞increment（）＜/code＞。添加更多increment（）调用没有效果。然而，添加更多m_counter指令将正常工作。

constexpr test()
{
    m_counter++; // executed 
    m_counter++; // executed
    increment(); // executed
    increment(); // NOT executed
    m_counter++; // executed
    m_counter++; // executed
    increment(); // NOT executed
    increment(); // NOT executed
}

// [...] will print 5

我在 g 错误跟踪器上将此报告为错误 #80039。