मैं फ़ंक्शन में constexpr मान का उपयोग क्यों नहीं कर सकता, लेकिन मैं इस मान के दायरे में ऐसा कर सकता हूं?

Question

मैं फ़ंक्शन के बाहर के विपरीत, फ़ंक्शन में constexpr मान का उपयोग नहीं कर सकता।

• मैं दायरे में auto ar1 = std::array<int, il.size()>(); उपयोग कर सकते हैं जहां il परिभाषित किया गया है।

• लेकिन मैं constexpr समारोह il_to_array()

में { return std::array<T, il.size()>();} उपयोग कर सकते हैं नहीं मैं समारोह में constexpr मूल्य का उपयोग क्यों नहीं कर सकते हैं, लेकिन मैं यह मान के ब्लॉक दायरे में ही कर सकते हैं?

http://ideone.com/5g0iRE

#include <iostream> 
#include <initializer_list> 
#include <array> 

constexpr size_t size_to_size(size_t v) { return v; } // 1 - OK 

template<typename T> 
constexpr size_t il_to_size(std::initializer_list<T> il) { return il.size(); } // 2 - OK 

// 3 - error 
template<typename T> 
constexpr auto il_to_array(std::initializer_list<T> il) {return std::array<T, il.size()>();} 

template<size_t N> 
void print_constexpr() { std::cout << N << std::endl; } 

int main() { 

    constexpr std::initializer_list<int> il = { 1, 2, 3 }; 
    print_constexpr<il.size()>(); // 0 - OK 

    print_constexpr< size_to_size(il.size()) >(); // 1 - OK 

    print_constexpr< il_to_size(il) >(); // 2 - OK 

    auto ar1 = std::array<int, il.size()>(); // OK - body of function: il_to_array() 

    //auto ar2 = il_to_array(il); // 3 - error 

    return 0; 
} 

उदाहरण के लिए, हम देखते हैं, कि टेम्पलेट constexpr-समारोह असफल हो जायेगी नहीं, भले ही यह हो सकता है या constexpr नहीं हो सकता है - टी की निर्भर करता है, क्योंकि उदाहरण में से एक हो सकता है constexpr: Why does the C++ compiler makes it possible to declare a function as constexpr, which can not be constexpr?

• और यह निष्कर्ष निकाला जा सकता है कि अगर यह एक टेम्पलेट समारोह है, यह विशेषज्ञता के किसी भी हो सकता है: constexpr और गैर constexpr।

• और SFINAE के आधार पर - अगर हम केवल constexpr -arguments का उपयोग तो केवल constexpr -instance को दर्शाता है, और यह कोई फर्क नहीं पड़ता कि गैर constexpr समारोह instantiated नहीं किया जा सकता है।

Answer 1

(constexpr) फ़ंक्शंस के तर्क constexpr नहीं हैं।

constexpr कार्यों को तर्क दिया जा सकता है जो संकलन समय पर ज्ञात नहीं थे।

तो निम्नलिखित v संकलन समय पर जाना जाता है या नहीं

constexpr size_t size_to_size(size_t v) { return v; } 

लेकिन निम्नलिखित समारोह il के रूप में काम नहीं करता है कि क्या है constexpr मान्य है नहीं और गैर प्रकार टेम्पलेट पैरामीटर संकलन समय पर जाना जाने की आवश्यकता है:

template<typename T> 
constexpr auto il_to_array(std::initializer_list<T> il) {return std::array<T, il.size()>();} 

यह सच है भले ही फ़ंक्शन केवल संकलन समय पर ज्ञात तर्कों के साथ बुलाया जाता है।