注意:本文包含 AI 生成内容
在 C++中,auto关键字有两个主要的用途:自动类型推断和返回值占位符。
std::vector vec = {1, 2, 3, 4, 5};
// 使用 auto 关键字自动推断类型
for(auto it = vec.begin(); it != vec.end(); ++it) {
std::cout
在这个例子中,auto被用来自动推断it的类型,它是std::vector::iterator。没有auto,我们需要手动写出这个复杂的类型📚。
template
auto add(T t, U u) {
return t + u;
}
int main() {
auto result = add(1, 1.5); // result 的类型被推断为 double
std::cout
在这个例子中,auto被用作函数add的返回值类型🏷️。函数add可以接受任何类型的参数,返回值类型依赖于这些参数。由于参数类型在编译时才知道,所以我们使用auto让编译器在编译时推断返回值类型🔄。
auto关键字也可用于 range-based for 循环中,这样可以让编译器自动推断容器元素的类型🔎。例如:
std::vector vec = {1, 2, 3, 4, 5};
for(auto x : vec) {
std::cout
auto也可以搭配const/&/&&等修饰符使用,以避免拷贝或用于直接修改容器元素的值,例如:
std::vector vec = {1, 2, 3, 4, 5};
for(const auto& x : vec) {
std::cout
std::map map = {{"John", 1}, {"Mary", 2}};
for(auto [key, value] : map) {
std::cout
在这个例子中,auto被用于结构化绑定,它可以自动推断key和value的类型,这是std::map中的key_type和mapped_type。
当然,auto关键字在 C++中的用途不止于此🔍。它也可以用来构造泛型 lambda 表达式和简化函数模板👏。
auto add = [](auto x, auto y) { return x + y; };
std::cout
在这个例子中,add是一个通用的 lambda 表达式,它可以接受任何类型的参数,并返回它们的和💡。auto关键字使得我们可以在编译时推断参数的类型💼。
auto add(auto a, auto b) {
return a + b;
}
在这个例子中,add 函数可以接受任何类型的参数,只要这些类型支持 + 运算符。例如,我们可以这样调用它:
int main() {
std::cout
首先,我们需要定义一个 concept 。以下是一个简单的Incrementable的定义🧮:
template
concept Incrementable = requires(T t) {
{ t++ } -> std::same_as;
};
这个 concept 检查一个类型是否可以被(后缀)自增🔍。
然后,我们可以在函数参数中使用这个 concept 和auto来约束参数的类型🎯:
void increment(const Incrementable auto& t) {
// ...
}
这个函数接受一个Incrementable类型的参数🔎。如果我们尝试传递一个不能自增的类型,编译器就会报错⚠️。
下面是一个完整的例子,包括一个接受Incrementable类型参数的函数和一些调用这个函数的代码📖:
#include
#include
template
concept Incrementable = requires(T t) {
{ t++ } -> std::same_as;
};
void increment(const Incrementable auto& t) {
auto copy = t;
copy++;
std::cout
在这个例子中,increment函数接受一个Incrementable类型的参数,复制它,然后打印自增后的值🖨️。在main函数中,我们传递了一个整数给increment函数,这是一个Incrementable类型🎯。如果我们尝试取消注释并传递一个std::string给increment函数,编译器就会报错,因为std::string不是Incrementable类型😵💫。