यह एक कॉन्स्टेक्सर क्यों नहीं है?

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;