GCC: 'std::is_same_v<int, T>' 在常量表达式中不可用。

Question

尝试实现以下代码:

template <typename R, typename V>
concept SizedRangeOf = 
    std::ranges::sized_range<R> &&
    std::same_as<std::ranges::range_value_t<R>, V>;

template<typename T>
const SizedRangeOf<T> auto getView(std::vector<T>& vec) {
    // helper class
    class vector_view {
        std::vector<T>& vec;
    public:
        vector_view(std::vector<T>& vec): vec(vec) {}
        auto begin() const { return vec.begin(); }
        auto end() const { return vec.end(); }
        std::size_t size() const { return vec.size(); }
    };
    return vector_view { vec };
}

int main() {
    std::vector<int> v = {1, 3, 5};
    auto r = getView(v);
    v.push_back(7);
    for(auto val: r) {
        std::cout << val << ' '; // 1 3 5 7
    }
}

在Clang 11.0中编译并正常工作，但在GCC 10.2中出现以下错误：

the value of 'std::is_same_v<int, T>' is not usable in a constant expression

这是GCC的bug吗？还是代码有问题？

- Amir Kirsh

Answer 1

看起来这是一个GCC bug：

Bug 97402 - 相关部分概念ID的值在常量表达式中无法使用。

_{编辑于2022年2月4日：该Bug已在GCC 11.1中修复}

---

在尝试使用GCC编译相同代码时进行调试，会导致'internal compiler error: Segmentation fault'错误，而这段代码在Clang中可以正常编译。

_{编辑 2022年2月4日： 在GCC 11.1中也已修复该问题}

---

尝试玩弄代码的另一个尝试导致std::is_same评估为false，而Clang将其评估为true。

_{2022年2月4日编辑：GCC 11.1中也已修复}

实现我们自己的is_same也没有帮助。

_{2022年2月4日编辑：GCC 11.1中也已修复}

---

需要注意的是，将 std::same_as 作为概念的一部分时，在参数声明中使用是可以正常工作的。works fine。

- Amir Kirsh