GCC: 'std::is_same_v<int, t> ' 在常量表達式中不可用</int,>

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 錯誤嗎？ 還是代碼有問題？

Answer 1

這似乎是一個GCC 錯誤：

錯誤 97402 - 依賴部分概念 ID 的值在常量表達式中不可用。

在嘗試使其在 GCC 中編譯時使用相同的代碼會導致'internal compiler error: Segmentation fault' ，對於在 Clang 中編譯良好的代碼。

使用代碼的另一種嘗試導致std::is_same評估為false ，而 Clang 將其評估為true 。

實現我們自己的is_same也無濟於事。

---

但是需要注意的是，使用std::same_as作為概念的一部分，用於參數聲明工作正常。