C++20中为何consteval函数获vector大小可行，直接调用却失败？

先还原你提到的两种代码场景：

编译失败的代码 #

consteval auto test() {
    std::vector<int> vec{1,2,3};
    std::array<int, vec.size()> arr; // 报错：vec未声明为constexpr，值无法用于常量表达式
    return arr;
}

编译成功的代码 #

consteval std::size_t get_size(const std::vector<int>& v) {
    return v.size();
}

consteval auto test() {
    std::vector<int> vec{1,2,3};
    std::array<int, get_size(vec)> arr; // 编译通过
    return arr;
}

原因解析 #

核心差异在于常量表达式上下文对对象成员调用的规则要求：

1. 直接调用vec.size()时，尽管vec是在consteval函数内编译期构造的，但它本身不是constexpr对象。C++标准明确规定：只有声明为constexpr的对象，其成员函数的返回值才能直接用于模板参数这类必须是常量表达式的场景。consteval函数内的局部对象默认不具备constexpr属性——哪怕它的构造和生命周期都在编译期。

2. 通过另一个consteval函数获取大小时，get_size作为强制编译期执行的函数，它的参数会被纳入严格的常量表达式求值环境。在get_size内部调用v.size()，这个操作完全在编译期上下文完成，其返回值会被标准认定为合法的编译期常量，因此可以被外部用作模板参数。相当于consteval函数把成员调用的结果“包装”成了符合常量表达式要求的值。

额外补充：如果把vec直接声明为constexpr对象，直接调用vec.size()也能通过编译：

consteval auto test() {
    constexpr std::vector<int> vec{1,2,3};
    std::array<int, vec.size()> arr; // 编译通过
    return arr;
}

内容的提问来源于stack exchange，提问作者getsoubl