探索 C++20 的新领域:深入理解 static关键字和核心语言特性测试宏

news/2024/11/25 0:50:30/

探索 C++20 的新领域:深入理解 static 关键字和核心语言特性测试宏

static 关键字

static 的多种用途

在 C++ 中,static 关键字有几种看似无关的用途。为该关键字“过载”部分动机是为了避免在语言中引入新的关键字。

static 数据成员和方法

你可以声明类的 static 数据成员和方法。与非静态数据成员不同,static 数据成员不是每个对象的一部分。相反,数据成员的只有一份副本,存在于该类的任何对象之外。static 方法同样处于类级别而不是对象级别。static 方法不在特定对象的上下文中执行;因此,它没有隐式的 this 指针。这也意味着 static 方法不能被标记为 const

static 链接

链接的概念

在涉及 static 关键字用于链接之前,需要理解 C++ 中链接的概念。C++ 源文件是独立编译的,编译后的对象文件被链接在一起。

C++ 源文件中的每个名称(包括函数和全局变量)都有一个链接性,可以是外部的(external)或内部的(internal)。外部链接意味着该名称可以从其他源文件访问。内部链接(也称为静态链接)则意味着不可以。默认情况下,函数和全局变量具有外部链接。然而,可以通过在声明前加上 static 关键字来指定内部(或静态)链接。

例如,假设有两个源文件:FirstFile.cppAnotherFile.cpp。这是 FirstFile.cpp 的内容:

void f();
int main() {f();
}

这个文件为 f() 提供了一个原型,但没有显示定义。而这是 AnotherFile.cpp

import <iostream>;
void f();
void f() {std::cout << "f\n";
}

这个文件为 f() 提供了原型和定义。请注意,在两个不同的文件中为同一函数编写原型是合法的。如果你将原型放在头文件中,然后在每个源文件中 #include 该头文件,这正是预处理器为你做的事情。

每个源文件都能无错误地编译,并且程序链接正常:因为 f 具有外部链接,main() 可以从不同的文件调用它。然而,假设你在 AnotherFile.cpp 中的 f() 原型上应用 static

请注意,你不需要在 f() 定义前重复 static 关键字。只要它出现在函数名称的第一个实例之前,就无需重复。

import <iostream>;
static void f();
void f() {std::cout << "f\n";
}

现在每个源文件仍然可以无错误地编译,但链接步骤失败,因为 f() 具有内部(静态)链接,使其无法从 FirstFile.cpp 访问。某些编译器在静态方法被定义但未在该源文件中使用时会发出警告(暗示它们不应该是静态的,因为它们可能在其他地方使用)。

使用匿名命名空间

用于内部链接的 static 的替代方法是使用匿名命名空间。与其将变量或函数标记为 static,不如将其包装在一个无名命名空间中,如下所示:

import <iostream>;
namespace {void f();void f() {std::cout << "f\n";}
}

匿名命名空间中的实体可以在同一源文件中其声明之后的任何地方访问,但不能从其他源文件访问。这些语义与使用 static 关键字获得的语义相同。

警告:为了获得内部链接,建议使用匿名命名空间,而不是 static 关键字。

拓展内容

核心语言特性的特性测试宏

C++20 新增特性

C++20 添加了特性测试宏,这些宏可用于检测编译器支持哪些核心语言特性。所有这些宏都以 __cpp___has_cpp_ 开头。以下是一些示例:

  • __cpp_range_based_for
  • __cpp_binary_literals
  • __cpp_char8_t
  • __cpp_generic_lambdas
  • __cpp_consteval
  • __cpp_coroutines
  • __has_cpp_attribute(fallthrough)
  • 等等…

这些宏的值是一个数字,代表添加或更新特定特性的月份和年份,格式为 YYYYMM。例如,__has_cpp_attribute(nodiscard) 的值可以是 201603(即 2016 年 3 月,[[nodiscard]] 属性首次引入的日期),或者是 201907(即 2019 年 7 月,属性更新以允许指定原因,如 [[nodiscard(“Reason”)]])。

注意:除非你正在编写非常通用的跨平台和跨编译器库,否则你很少需要这些特性测试宏。


http://www.ppmy.cn/news/1227948.html

相关文章

redis问题归纳

1.redis为什么这么快&#xff1f; &#xff08;1&#xff09;基于内存操作&#xff1a;redis的所有数据都存在内存中&#xff0c;因此所有的运算都是内存级别的&#xff0c;所以性能比较高 &#xff08;2&#xff09;数据结构简单&#xff1a;redis的数据结构是专门设计的&…

Python基础:错误和异常

在Python中的错误可&#xff08;至少&#xff09;被分为两种&#xff1a;语法错误和 异常&#xff0c;均是指在程序中发生的问题和意外情况。Python提供了异常处理机制&#xff0c;使程序能够更容易地应对这些问题。 1. 语法错误&#xff08;Syntax Error&#xff09; 语法错误…

vue + antd 动态增加表单并进行表单校验

<template><a-modalv-model:visible="visible":title="formData.id ? 编辑渠道 : 添加渠道":width="850":mask-closable="false":destroy-on-close="true"@ok="onSubmit"@cancel="onClose"&g…

华为OD机试 - 转盘寿司(Java JS Python C)

目录 题目描述 输入描述 输出描述 用例 题目解析 JS算法源码 Java算法源码

开发知识点-Git

团队协作-Git Giteegitee 创建仓库打开项目所在目录&#xff0c;右键选择Git Bush Here(你要确定电脑上已经安装了Git&#xff09;初始化本地仓库配置验证信息。 完美解决github访问速度慢介绍Git 与 SVN 区别IDEA 添加 gitee Gitee Git Gitee 大家都知道国内访问 Github 速度…

服务容错之限流之 Tomcat 限流 Tomcat 线程池的拒绝策略

在文章开头&#xff0c;先和大家抛出两个问题&#xff1a; 每次提到服务限流为什么都不考虑基于 Tomcat 来做呢&#xff1f;大家有遇到过 Tomcat 线程池触发了拒绝策略吗&#xff1f; JUC 线程池 在谈 Tomcat 的线程池前&#xff0c;先看一下 JUC 中线程池的执行流程&#x…

springcloudalibaba-3

一、Nacos Config入门 1. 搭建nacos环境【使用现有的nacos环境即可】 使用之前的即可 2. 在微服务中引入nacos的依赖 <!-- nacos配置依赖 --><dependency><groupId>com.alibaba.cloud</groupId><artifactId>spring-cloud-starter-alibaba-…

map与set的封装

目录 红黑树的结点 与 红黑树的迭代器 红黑树的实现&#xff1a; 迭代器&#xff1a; ​编辑 红黑树的查找&#xff1a; 红黑树的插入&#xff1a; ​编辑 检查红色结点&#xff1a;​编辑红黑树的左旋 ​编辑红黑树的右旋 ​编辑红黑树的双旋 Map的封装 ​编辑set的…