为什么我不能在函数中使用constexpr值,但我可以在此值的范围内执行相同的操作？

Question

我不能在函数中使用constexpr值,而不是函数外部.

• 我可以auto ar1 = std::array<int, il.size()>();在il定义的范围内使用.

• 但我不能使用{ return std::array<T, il.size()>();}in constexpr-functionil_to_array()

为什么我不能在函数中使用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;
}

例如,我们看到,template-constexpr-function不会失败,即使它可能是也可能不是constexpr- 取决于T,因为实例之一可能是constexpr:为什么C++编译器可以声明一个函数作为constexpr,哪个不能constexpr？

• 并且可以得出结论,如果这是模板函数,则它可以是以下任何一个的特化:constexpr和非constexpr.

• 并且在SFINAE的基础上- 如果我们仅使用constexpr-arguments然后仅实例化constexpr-instance,并且constexpr无法实例化非功能无关紧要.

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()>();}

即使仅在编译时使用已知参数调用函数,也是如此.