なぜこれはconstexprではありませんか？

Question

#include <iostream> 

union gc_bits { 
    size_t value; 
    struct { 
     size_t arena : 2; 
    } bits; 

    constexpr gc_bits(size_t value_) : value(value_) { 
    } 
}; 

static constexpr size_t get_max_arenas() { 
    return gc_bits(~0ULL).bits.arena; 
} 

size_t current_colour[get_max_arenas()]; // error 

int main() { 
    std::cout << get_max_arenas() << std::endl; 
} 

get_max_arenasはconstexprではないため、配列の宣言に誤りがあります。なぜそうでなければならないのかはっきりしない。少しあなたのプログラム言い換え

Answer 1

：

static constexpr auto gma = get_max_arenas(); 

size_t current_colour[gma]; // error 

はクランエラーを与える：

read of member 'bits' of union with active member 'value' is not allowed in a constant expression

このエラーが発生した理由は、コンストラクタがvalueを設定していることで、その後、あなたがbitsを読み取ろう。これは、@ gurkaによってコメントされているように許可されていません。

Standard引用：

[expr.const]

2 A conditional-expression e is a core constant expression unless the evaluation of e, following the rules of the abstract machine (1.9), would evaluate one of the following expressions:

(2.8) — an lvalue-to-rvalue conversion (4.1) or modification (5.18, 5.2.6, 5.3.2) that is applied to a glvalue that refers to a non-active member of a union or a subobject thereof;