C++ Academy · 课时

常见标准概念：Integral、Ranges

使用标准库概念，例如 integral 和 ranges::range

常见标准概念：Integral、Ranges 是 CoddyKit 上的免费 C++ Academy 课时。这是第 4 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 C++ Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 C++ Academy 课程共包含 4 节课。

标准概念库

C++20 在 <concepts> 和 <ranges> 中引入了许多标准概念。了解它们可以省去自行编写概念的工作。

核心语言概念

基础概念包括：

std::same_as<T, U>
std::derived_from<T, U>
std::convertible_to<T, U>
std::common_with<T, U>
std::assignable_from<T, U>

算术概念

将类型限制为数值类型：

std::integral — 任意整数类型
std::signed_integral — 有符号整数
std::unsigned_integral — 无符号整数
std::floating_point — 单精度浮点数、双精度浮点数、长双精度浮点数

template <std::floating_point T>
T mean(T a, T b) { return (a + b) / 2; }

比较概念

为类型添加相等性和排序约束：

std::equality_comparable
std::totally_ordered
std::three_way_comparable

对象概念

常见要求：

std::movable
std::copyable
std::default_initializable
std::semiregular
std::regular

template <std::regular T>
class Container { /* full-fledged value type */ };

可调用对象概念

用于函数和函数对象：

std::invocable<F, Args...>
std::regular_invocable<F, Args...>
std::predicate<F, Args...>

template <std::invocable<int> F>
void apply_to_42(F&& f) {
    std::forward<F>(f)(42);
}

迭代器概念

位于 <iterator> 中：

std::input_iterator
std::forward_iterator
std::bidirectional_iterator
std::random_access_iterator
std::contiguous_iterator

范围概念（C++20）

来自 <ranges>：

std::ranges::range — 具有 begin/end
std::ranges::view — 不拥有元素的范围
std::ranges::sized_range — 可以在 O(1) 时间内知道自身大小
std::ranges::random_access_range

template <std::ranges::range R>
auto first(R&& r) {
    return *std::ranges::begin(r);
}

组合概念

组合概念，以表达精确的要求。

template <std::ranges::random_access_range R>
    requires std::integral<std::ranges::range_value_t<R>>
auto sum(const R& r) {
    return std::reduce(std::ranges::begin(r), std::ranges::end(r));
}

基于标准概念构建自定义概念

基于标准概念构建特定领域的概念。

template <typename T>
concept Number = std::integral<T> || std::floating_point<T>;

由概念约束的算法

C++20 范围算法受到大量概念约束。当您传入不合适的类型时，它们的错误消息会直接指出哪个概念未满足。

速查表

请尽可能使用内置概念：

数字 → integral / floating_point
迭代 → ranges::range
可调用对象 → invocable / predicate
值类型 → regular 或 semiregular

快速检查

哪个标准概念描述了同时具有 begin() 和 end() 的类型？

回顾

标准库提供了丰富的概念库：算术概念（integral、floating_point）、可比较概念（equality_comparable）、对象概念（movable、regular）、可调用对象概念、迭代器概念和范围概念。请将它们作为自定义约束的基础。

常见问题解答

「常见标准概念：Integral、Ranges」课时是免费的吗？

是的 — 「常见标准概念：Integral、Ranges」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 C++ Academy 课程的其余内容，请升级到 CoddyKit PRO。 C++ Academy 课程共包含 4 节课。

「常见标准概念：Integral、Ranges」这节课中我会学到什么？

使用标准库概念，例如 integral 和 ranges::range 你通过在浏览器中直接运行的动手代码来练习 C++ Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 C++ Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 C++ Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 4 节课，共 4 节。

「常见标准概念：Integral、Ranges」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 C++ Academy 课中编写并运行代码吗？

能。每节 C++ Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 C++ Academy