Tag: 现代C++

C++ 一直在不断增加新特性，以便程序员能够区分在编译时运行的代码和在运行时执行的代码。其中两个重要工具是函数 std::is_constant_evaluated()（C++20）和语言级别的 if consteval（C++23）。本文将解释这两者，展示实际示例，比较它们的保证和权衡，并建议在何时使用各自的方法。 这两种技术都允许你编写分支，根据当前的求值是在常量求值（编译时）上下文中还是运行时上下文中而表现不同。差异虽然细微，但非常重要：一个是返回布尔值的函数，另一个是编译器视为仅在编译时检查的特殊 if 语句，编译器会进行特殊处理。 std::is_constant_evaluated() (C++20) 这是一个在 <type_traits> 中声明的函数： #include <type_traits> constexpr bool std::is_constant_evaluated() noexcept; 当当前表达式在常量表达式（编译时）上下文中求值时，该函数返回 true，否则返回 false。 示例： #include <iostream> #include <type_traits> constexpr int …

在现代 C++（C++11 及以后）中，一个非常强大的特性叫做 转发引用（forward references），它让开发者可以通过一个模板函数同时处理左值和右值——而且只需写一次函数模板声明。 虽然语法看起来有点复杂，但本质上，转发引用是一种非常优雅的语法机制，让代码既简洁又高效。 什么是转发引用？ 当模板参数以 T&& 的形式出现在函数参数中，并且 T 是通过类型推导得到的，这种情况下就形成了一个 转发引用。例如： template<typename T> void func(T&& arg); 乍一看，这像是右值引用，但实际上是 转发引用，因为 T 是通过类型推导得出的。这个函数既能接受左值，也能接受右值： int x = 5; func(x); // 左值 …