मुझे किसी फ़ंक्शन के भीतर निरंतर के लिए कौन सा प्राथमिकता देना चाहिए: constexpr const या enum?

Question

मुझे enum { my_const = 123; } के साथ मेरे स्थिरांक को परिभाषित करने के लिए उपयोग किया जाता है, क्योंकि कक्षाओं में static constexpr का उपयोग कक्षा परिभाषा के बाहर कुछ कोड की आवश्यकता है (this question देखें)। लेकिन - समारोह निकायों में क्या? हाल ही में मैंने देख रहा है लोगों को अभी उनके कार्यों में constexpr चर होने (यहां तक ​​कि const करने के लिए उन्हें वास्तव में परेशान कर नहीं), और मैं सोच रहा था कि क्या मैं एक मूर्ख है जो अपने

int foo(int x) 
{ 
    enum : int { bar = 456 }; 
    return x + bar; 
} 

तो साथ बार के पीछे कर रहा हूँ, मेरे सवाल यह है: क्या एनएक्स के कॉन्सएक्सप्रैर चर के बजाए फ़ंक्शन निकायों के उपयोग के लिए कोई लाभ है?

Answer 1

आप गलती से या bar के प्रयोजन के बल ओडीआर-अस्तित्व पर अगर यह एक constexpr int bar = 456; था, यह संभव नहीं enum : int { bar = 456 }; साथ है कर सकते हैं।

यह दोनों तरफ से लाभ हो सकता है या नहीं।

उदाहरण

int baz(int const* ptr) { 
    if (ptr) return 7; return -1; 
} 
int foo(int x) 
{ 
    // enum : int { bar = 456 }; 
    constexpr int bar = 456; 
    return x + baz(&bar); 
} 

enum संस्करण संकलन नहीं है के लिए, constexpr int करता। एक constexpr int एक लाभार्थी हो सकता है, एक गणक (सूचीबद्ध एनम स्थिरांक में से एक) नहीं कर सकता है।

enum मान वास्तव में int नहीं हैं, जबकि constexpr int वास्तव में int है। इससे कोई फर्क नहीं पड़ता कि आप इसे

template<class T> 
void test(T) { 
    static_assert(std::is_same<T,int>::value); 
} 

पास पास करेंगे; दूसरा नहीं होगा।

फिर से, यह टोकन का उपयोग करने के तरीके के आधार पर यह एक लाभ, हानि या एक अर्थहीन quirk हो सकता है।

Answer 2

वन-लाइनर (लेकिन यह मेरी अपनी ले है) @ Yakk के आधार पर:

enum आधारित स्थिरांक का उपयोग कर आवश्यक हो सकता है अगर आप अपने लगातार रन टाइम पर एक "चर" के रूप में मौजूद करने की अनुमति नहीं दे सकते। एक enum के साथ, आप जो भी करते हैं उसके बावजूद - इसमें कोई पता नहीं होगा और कोई स्मृति स्थान नहीं लिया जाएगा (और न केवल संकलक अनुकूलन के कारण जो हो सकता है या नहीं हो सकता है)।

अन्य मामलों में एक दूसरे को पसंद करने के लिए एक अनिवार्य कारण प्रतीत नहीं होता है।