GCC: #39;std::is_same_vlt;int, Tgt;#39; is not usable in a constant expression(GCC::is_ame_vlt;int,T;不能在常量表达式中使用)
问题描述
正在尝试实现the following code:
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的虫子吗?还是代码有问题?
推荐答案
似乎是GCC bug:
错误97402-依赖部分概念id的值在常量表达式中不可用。
编辑2022年2月4日:Bug is fixed in GCC 11.1
Playing with the same code尝试在GCC中编译时会导致'internal compiler error: Segmentation fault'
,这是一个在Clang中编译得很好的代码。
编辑2022年2月4日:Also fixed in GCC 11.1
Another attempt to play with the code导致std::is_same
计算为false
,而Clang将其计算为true
。
编辑2022年2月4日:Also fixed in GCC 11.1
Implementing our own is_same
也无济于事。
编辑2022年2月4日:Also fixed in GCC 11.1
但需要注意的是,使用std::same_as
作为概念的一部分,用于参数声明works fine。
这篇关于GCC::is_ame_v<;int,T&>;不能在常量表达式中使用的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!
本文标题为:GCC::is_ame_v<;int,T&>;不能在常量表达式中使用
基础教程推荐
- C++ 程序在执行 std::string 分配时总是崩溃 2022-01-01
- 如何在 C++ 中处理或避免堆栈溢出 2022-01-01
- C++ 标准:取消引用 NULL 指针以获取引用? 2021-01-01
- 调用std::Package_TASK::Get_Future()时可能出现争用情况 2022-12-17
- C++,'if' 表达式中的变量声明 2021-01-01
- 如何定义双括号/双迭代器运算符,类似于向量的向量? 2022-01-01
- 运算符重载的基本规则和习语是什么? 2022-10-31
- 设计字符串本地化的最佳方法 2022-01-01
- 您如何将 CreateThread 用于属于类成员的函数? 2021-01-01
- 什么是T&&(双与号)在 C++11 中是什么意思? 2022-11-04