चर पर बनाम constexpr

Question

क्या निम्न परिभाषाओं के बीच कोई अंतर है?

const  double PI = 3.141592653589793; 
constexpr double PI = 3.141592653589793; 

यदि नहीं, तो सी ++ 11 में कौन सी शैली को प्राथमिकता दी जाती है?

Answer 1

के निष्पादन के समय धीमा नहीं होता

मुझे विश्वास है कि एक अंतर है। उन्हें इसलिए है कि हम उनके बारे में और अधिक आसानी से बात कर सकते हैं का नाम बदलने करते हैं:

const  double PI1 = 3.141592653589793; 
constexpr double PI2 = 3.141592653589793; 

दोनों PI1 और PI2 लगातार कर रहे हैं, जिसका अर्थ है कि आप उन्हें बदल नहीं सकते। हालांकि केवलPI2 एक संकलन-समय स्थिर है। यह संकलित समय पर आरंभ किया जाएगा। संकलन समय या रन टाइम पर PI1 प्रारंभ किया जा सकता है। इसके अलावा, केवलPI2 किसी संदर्भ में उपयोग किया जा सकता है जिसके लिए एक संकलन-समय निरंतर आवश्यकता होती है।

constexpr double PI3 = PI1; // error 

लेकिन:

constexpr double PI3 = PI2; // ok 

और:

static_assert(PI1 == 3.141592653589793, ""); // error 

लेकिन उदाहरण के लिए:

static_assert(PI2 == 3.141592653589793, ""); // ok 

के रूप में आप का उपयोग करना चाहिए जो करने के लिए? जो भी आपकी जरूरतों को पूरा करता है उसका प्रयोग करें। क्या आप यह सुनिश्चित करना चाहते हैं कि आपके पास एक संकलन समय निरंतर है जिसका उपयोग उन संदर्भों में किया जा सकता है जहां संकलन-समय निरंतर आवश्यकता होती है? क्या आप रन टाइम पर किए गए गणना के साथ इसे आरंभ करने में सक्षम होना चाहते हैं? आदि

Answer 2

यहां कोई अंतर नहीं है, लेकिन यह महत्वपूर्ण है जब आपके पास एक ऐसा प्रकार है जिसमें एक निर्माता है।

struct S { 
    constexpr S(int); 
}; 

const S s0(0); 
constexpr S s1(1); 

s0 एक निरंतर है, लेकिन यह संकलन समय पर प्रारंभ करने के लिए वादा नहीं करता। s1 को constexpr चिह्नित किया गया है, इसलिए यह स्थिर है और, क्योंकि S के निर्माता को भी constexpr चिह्नित किया गया है, यह संकलन समय पर शुरू किया जाएगा।

ज्यादातर यह मायने रखती है जब रनटाइम पर प्रारंभ समय लेने वाली हो सकता है और आप संकलक, जहां यह भी समय लेने वाली है पर है कि काम बंद पुश करने के लिए चाहते हैं, लेकिन संकलित कार्यक्रम

Answer 3

constexpr एक मान इंगित करता है जो संकलन के दौरान निरंतर और ज्ञात है।
const एक मान इंगित करता है जो केवल स्थिर है; संकलन के दौरान जानना अनिवार्य नहीं है।

int sz; 
constexpr auto arraySize1 = sz; // error! sz's value unknown at compilation 
std::array<int, sz> data1;   // error! same problem 

constexpr auto arraySize2 = 10; // fine, 10 is a compile-time constant 
std::array<int, arraySize2> data2; // fine, arraySize2 is constexpr 

ध्यान दें कि स्थिरांक constexpr रूप में एक ही गारंटी प्रदान नहीं करता है, क्योंकि स्थिरांक वस्तुओं संकलन के दौरान जाना जाता मूल्यों के साथ प्रारंभ होने की जरूरत नहीं।

int sz; 
const auto arraySize = sz;  // fine, arraySize is const copy of sz 
std::array<int, arraySize> data; // error! arraySize's value unknown at compilation 

सभी कॉन्स्टेक्स ऑब्जेक्ट्स हैं, लेकिन सभी कॉन्स्ट ऑब्जेक्ट्स कॉन्सएक्सप्रस नहीं हैं।

यदि आप कंपेलरों को यह गारंटी देना चाहते हैं कि एक चर के पास एक मान है जो संकलन-समय स्थिरांक की आवश्यकता वाले संदर्भों में उपयोग किया जा सकता है, तो उपकरण तक पहुंचने के लिए उपकरण कॉन्स्टेक्स नहीं है।

Answer 4

ए constexpr प्रतीकात्मक निरंतर एक मान दिया जाना चाहिए जो संकलन समय पर जाना जाता है। उदाहरण के लिए:

constexpr int max = 100; 
void use(int n) 
{ 
    constexpr int c1 = max+7; // OK: c1 is 107 
    constexpr int c2 = n+7; // Error: we don’t know the value of c2 
    // ... 
} 

मामलों में जहां एक "चर" है कि एक मूल्य है कि संकलन समय पर नहीं जाना जाता है के साथ आरंभ नहीं हो जाता लेकिन आरंभीकरण के बाद बदल जाता है कभी नहीं के मूल्य सी ++ निरंतर का एक दूसरा रूप प्रदान करता है संभाल करने के लिए (एक कॉन्स)। उदाहरण के लिए:

constexpr int max = 100; 
void use(int n) 
{ 
    constexpr int c1 = max+7; // OK: c1 is 107 
    const int c2 = n+7; // OK, but don’t try to change the value of c2 
    // ... 
    c2 = 7; // error: c2 is a const 
} 

इस तरह के "स्थिरांक चर" दो कारणों के लिए बहुत आम हैं:

1. सी ++ 98, constexpr नहीं था ताकि लोगों को स्थिरांक इस्तेमाल किया।
2. सूची आइटम "वेरिएबल्स" जो निरंतर अभिव्यक्ति नहीं हैं (उनका मान संकलन समय पर ज्ञात नहीं है) लेकिन प्रारंभिकरण के बाद मानों को परिवर्तित नहीं करते हैं प्रारंभिक रूप से व्यापक रूप से उपयोगी होते हैं।