尝试实现以下代码:
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吗?还是代码有问题?
这似乎是一个GCC bug:
错误97402-依赖的partial-concept-id的值在常量表达式中不可用。
在尝试用GCC编译相同的代码时,使用相同的代码会导致,这是一个在clang中编译得很好的代码。
再次尝试使用代码会导致
实现我们自己的
但是需要注意的是,使用