Switch 语句的奇怪之处

switch 语句的奇怪之处

介绍

c++ 语言中 switch 语句的语法很简单:

        switch ( expression ) statement

c++ 继承了 c 的 switch 并添加了添加可选 init-statement 的功能,但这不是本文的核心。

注意那里的内容:没有提及 case 或 default。 这些在语法的其他地方指定。 这意味着 switch 语句的正确性是在语义上而不是在语法上强制执行的。 这样做的后果是声明

可以是任何语句。被处理与任何其他语句完全相同。还可以包含零个或多个 case 标签以及最多一个默认标签。

跌倒

c 的一个有争议的功能是,在 switch 语句中,案例“落入”下一个案例(如果有)。 例如,给定变量 c 的值为“a”,代码如下:

switch ( c ) {    case 'a':        printf( "applen" );    case 'b':        printf( "bananan" );}

将打印 apple 香蕉,因为在匹配 ‘a’ 并打印 apple 后,执行只是“落入”’b’ 情况。 这是上述结果 #2 的奇怪结果,因为在 switch 之外,连续的语句自然会从一个语句“落入”下一个语句。在 case 之间的切换内部,大多数时候这不是您想要的,因此您可以使用中断(或者如果在循环、return 或 goto 内部则继续)。

大多数编译器将允许您请求在代码陷入下一种情况时收到警告。 从 c23 或 c++17 开始,您可以包含 [[fallthrough]] 属性来告诉编译器,fallthrough 是故意的,而不是警告您:

switch ( how_good ) {    case very_good:        printf( "very " );        [[fallthrough]];    case good:        printf( "goodn" );        break;}

也许最有名的关于跌倒有用的例子就是 duff 的设备。 您可以在那里阅读它的详细信息,但底线是代码(用现代 c 重写):

void send( short *to, short const *from, size_t count ) {    size_t n = (count + 7) / 8;    switch ( count % 8 ) {        case 0: do { *to = *from++;        case 7:      *to = *from++;        case 6:      *to = *from++;        case 5:      *to = *from++;        case 4:      *to = *from++;        case 3:      *to = *from++;        case 2:      *to = *from++;        case 1:      *to = *from++;                } while ( --n > 0 );    }}

由于结果 #3 的结果是完全合法的,即 do 循环位于 switch 内,允许 任何 语句都有 case 标签。

单一声明

使用 switch 时,语句 总是一个 复合语句,即包含在 {} 中的一系列语句,但它也可以是 单个 声明:

bool check_n_args( int n_args ) {    switch ( n_args )              // no { here        case 0:        case 1:        case 2:            return true;                                   // no } here    fprintf( stderr, "error: args must be 0-2n" );    return false;}

由于只有一条 return true 语句,因此不需要 {},就像在 if、do、else、for 或 while 之后不需要它们一样。

除了以上是另一种书写方式之外:

    if ( n_args >= 0 && n_args <= 2 )        return true;

(除了表达式只计算一次)没有合理的理由使用带有 switch 的单个语句,所以我从不建议这样做。 这只是上面第 1 条后果的奇怪结果。

默认不是最后一个

当开关有默认值时,它总是最后一个,但它实际上可以位于开关内的任何位置:

    switch ( n_args ) {        default:            fprintf( stderr, "error: args must be 0-2n" );            return false;        case 0:            // ...

就性能而言,默认的位置(或者实际上是案例的顺序)并不重要。 最后没有默认的唯一技术原因是如果您希望执行落入下一个案例。 任何其他原因都纯粹是风格上的,例如,您想先处理常见情况,然后处理特殊情况。

第一个案例之前的陈述

也可以在第一个case之前有语句,例如:

switch ( n_args ) {        printf( "never executedn" );    case 0:        // ...

此类语句永远不会执行。 大多数编译器都会对此发出警告。 据我所知,没有理由在第一个案例之前发表声明。

但是,在第一个案例之前添加声明是有一定用处的,例如:

switch ( n_args ) {        int i;    case 0:        i = f();        // ...        break;    case 1:        i = g();        // ...        break;}

当变量仅在一种或多种情况下的 switch 范围内使用时,这有点用处。 请注意,您不应该初始化此类变量,例如:

switch ( n_args ) {        int i = 0;  // wrong: do _not_ initialize!    // ...

因为,即使变量被声明,它的初始化代码永远不会被执行(就像前面例子中的printf()永远不会被执行一样),所以代码是具有欺骗性。 相反,您必须在每种使用这些变量的情况下初始化它们。

即使简单的声明(没有初始化)不是可执行代码,一些编译器仍然会(错误地,恕我直言)警告它们。 因此,这样的声明是没有用的。

如果您确实只想在开关范围内进行声明,则可以将它们放在第一个案例中或仅放在使用它们的案例中。 但是,在 c23 之前,不允许在标签后立即声明:

switch ( n_args ) {    case 0:        int i;       // error (pre-c23)        // ...

要解决该限制,您可以为案例添加 {}:

    case 0: {        int i;       // ok now (all c versions)        // ...    }

可破坏的方块

如果您有一个很长的代码块想要跳到末尾,有几种方法可以做到:

一系列 if-else 语句;或;一系列 if-goto 语句;或;带中断的 do { … } while (0) 语句。

每种都有其权衡。 另一种方法是:

#define BLOCK  switch (0) default:void f() {    BLOCK {        // ...        if ( condition_1 )            break;        // ... lots more code ...    }    // "break" above jumps here

因此,它与 do { … } while (0) 最相似,但不必将 while (0) 放在最后。

结论

c(和 c++)中 switch 语句的表面简单性具有欺骗性,因为它允许使用多种奇怪的方式来使用它们编写代码,有些有用,有些则无用。 最有用的是 duff 的 for 循环展开装置。

以上就是Switch 语句的奇怪之处的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1458952.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
逗号运算符的一个令人信服的案例
上一篇 2025年12月18日 11:03:50
C++ 函数中异常和错误处理的性能优化
下一篇 2025年12月18日 11:04:01

相关推荐

  • c++中的SFINAE技术是什么_c++模板编程中的SFINAE原理与应用

    SFINAE 是“替换失败不是错误”的原则,指模板实例化时若参数替换导致错误,只要存在其他合法候选,编译器不报错而是继续重载决议。它用于条件启用模板、类型检测等场景,如通过 decltype 或 enable_if 控制函数重载,实现类型特征判断。尽管 C++20 引入 Concepts 简化了部分…

    2026年5月10日
    000
  • c#文件怎么打开

    打开 C# 文件有三种方法:Visual Studio:启动 Visual Studio,通过“文件”菜单打开 C# 文件。文本编辑器:使用文本编辑器打开 C# 文件,将其视为普通文本。.NET Core 命令行工具:使用 csc.exe 命令行工具编译 C# 文件,生成可执行文件。 如何打开 C#…

    2026年5月10日
    000
  • c++如何实现UDP通信_c++基于UDP的网络通信示例

    UDP通信基于套接字实现,适用于实时性要求高的场景。1. 流程包括创建套接字、绑定地址(接收方)、发送(sendto)与接收(recvfrom)数据、关闭套接字;2. 服务端监听指定端口,接收客户端消息并回传;3. 客户端发送消息至服务端并接收响应;4. 跨平台需处理Winsock初始化与库链接,编…

    2026年5月10日
    100
  • 函数指针在 C++ 多态中的作用:揭示多态背后的真相

    函数指针在 C++ 多态中的作用:揭示多态背后的真相 简介 多态是面向对象编程的一项强大功能,它允许对象在运行时以不同的方式表现。C++ 中的多态实现依赖于函数指针。本文将深入探讨函数指针在多态中的作用,并通过一个实战案例展示如何利用它们。 函数指针 立即学习“C++免费学习笔记(深入)”; 函数指…

    2026年5月10日
    000
  • C++框架与Java框架在易用性方面的比较

    c++++ 框架的易用性低于 java 框架,具体原因如下:c++ 框架学习曲线陡峭,需要深入理解 c++ 语言。易出错且调试困难。而 java 框架具有以下易用性优势:学习曲线低,尤其适合 java 初学者。提供丰富的库和工具,简化开发。运行时异常处理,简化异常处理。 C++ 框架与 Java 框…

    2026年5月10日
    000
  • c++中头文件和源文件的区别_c++头文件与源文件作用对比

    头文件声明接口,源文件实现逻辑。头文件含类、函数声明及宏定义,通过#include被多文件共享,用include守卫防重;源文件实现具体功能,编译为目标文件后由链接器合并。声明与实现分离提升模块化与编译效率,模板和内联函数因需编译时可见故常置于头文件,命名空间避免符号冲突,整体结构使项目更清晰易维护…

    2026年5月10日
    000
  • C++ 函数重载在事件驱动的编程中的应用

    在事件驱动的编程中,函数重载可创建具有不同参数签名的相似功能,为单一函数名提供多样化功能。它包含以下优点:代码可读性:使用单一函数名表示相关任务。可维护性:避免重复编写类似逻辑。可重用性:跨项目和应用程序 reutilizar。 C++ 函数重载在事件驱动的编程中的应用 在事件驱动的编程中,函数重载…

    2026年5月10日
    000
  • C++ 函数性能优化对系统稳定性的影响

    标题:C++ 函数性能优化对系统稳定性的影响 简介 函数性能优化是 C++ 程序员提高程序效率的关键技术。本文将探讨函数性能优化对系统稳定性的影响,并提供实战案例来证明这一点。 性能优化对稳定性的作用 立即学习“C++免费学习笔记(深入)”; 函数性能优化不仅可以提升程序速度,还可以提高系统的稳定性…

    2026年5月10日
    000
  • WebAssembly中导入JavaScript函数:无胶水代码集成指南

    本文深入探讨了在WebAssembly模块中直接导入和使用JavaScript函数的机制,特别是当使用Emscripten的STANDALONE_WASM和SIDE_MODULE编译模式时。文章详细分析了TypeError: import object field ‘GOT.mem&#8…

    2026年5月10日
    000
  • C++如何编译和链接_C++从源码到可执行文件的过程解析

    c++kquote>预处理展开宏和头文件,编译生成汇编代码,汇编转为机器码,链接合并目标文件与库生成可执行程序。 当你写完一段C++代码,比如一个简单的hello world程序,最终能运行起来,背后其实经历了一系列步骤:预处理、编译、汇编和链接。这个过程将人类可读的源码转换成机器可以执行的程…

    2026年5月10日
    000
  • c++中sizeof运算符的用法和常见陷阱 _c++ sizeof使用技巧及陷阱解析

    sizeof运算符在编译时计算类型或对象的字节大小,返回size_t类型,常用于获取数据大小、数组元素个数及内存操作;但存在数组传参退化为指针导致失效、对指针无法获知动态内存大小、表达式不求值、结构体因对齐产生填充等常见陷阱;需结合模板、显式传参、对齐控制等方式规避问题,提升代码可移植性和安全性。 …

    2026年5月10日
    000
  • C#如何进行网络编程?Socket与TCP/IP通信编程实例详解

    C#通过Socket类实现TCP通信,首先服务器绑定IP和端口并监听,客户端发起连接,双方通过Send/Receive收发数据,最后关闭连接。 C# 进行网络编程主要依赖于 System.Net 和 System.Net.Sockets 命名空间,其中最核心的是使用 Socket 类实现基于 TCP…

    2026年5月10日
    000
  • C++ 函数递归详解:递归查找列表中的元素

    递归查找列表元素的步骤如下:递归基础条件:如果列表为空,则元素不存在。递归过程:使用递归调用查找列表的剩余部分,并调整返回的索引。检查列表的第一个元素:如果第一个元素与所查找的元素相等,则元素位于索引 0 处。找不到:如果递归和第一个元素检查都没有找到,则元素不存在。 C++ 函数递归详解:递归查找…

    2026年5月10日
    000
  • C++怎么使用C++17的并行算法库_C++ std::execution与多核性能优化

    c++kquote>C++17通过std::execution策略引入并行算法支持,需编译器(如GCC 8+)和线程库(如TBB)配合;提供seq、par、par_unseq三种策略控制执行模式;可用于sort、for_each等算法提升大数据性能,但需避免数据竞争,推荐使用reduce等安全…

    2026年5月10日
    000
  • c++ lambda表达式怎么写 c++匿名函数用法详解

    答案是lambda表达式可简洁定义匿名函数,用于STL算法等场景。其语法包含捕获列表、参数列表、mutable、返回类型和函数体,如[=](int x) { return x > 0; }可值捕获外部变量并用于判断正数。 在C++中,lambda表达式是一种创建匿名函数的简洁方式,常用于需要传…

    2026年5月10日
    200
  • C++框架的Unlicense许可类型简介

    unlicense 许可证类型为免费且宽松,允许用户在不附加任何限制的情况下使用、修改和分发软件。它旨在最大限度地减少限制和允许最大的自由度,具有以下好处:简洁易懂高度开放无保证 C++ 框架的 Unlicense 许可证类型简介 了解 Unlicense Unlicense 是一个自由和宽松的软件…

    2026年5月10日
    000
  • 利用日志记录增强 C++ 函数的调试能力

    如何利用日志记录增强 c++++ 函数的调试能力?使用 glog 库进行日志记录: 安装 glog,并在代码中使用 glog 头文件和 initgooglelogging() 初始化日志记录。添加日志记录语句: 使用 log() 宏在要记录的代码块中添加日志记录语句,以记录函数开始、结束或其他重要事…

    2026年5月10日
    000
  • C++ 函数模板如何使用并在实际场景中应用?

    函数模板允许您定义可以处理不同类型参数的函数的通用版本。语法为:template,其中 t 是类型参数。要使用函数模板,请指定所需的参数类型,例如:max(10, 20)。函数模板在排序等实际应用中很有用,例如:template void sort(t arr[], int size)。它们具有通用…

    2026年5月10日
    000
  • C++ 并发编程中内存访问问题及解决方法?

    在 c++++ 并发编程中,共享内存访问问题包括数据竞争、死锁和饥饿。解决方案有:原子操作:确保对共享数据的访问是原子性的。互斥锁:一次只允许一个线程访问临界区。条件变量:线程等待某个条件满足。读写锁:允许多个线程并发读取,但只能允许一个线程写入。 C++ 并发编程中的内存访问问题及解决方案 在多线…

    2026年5月10日
    000
  • c++如何实现函数的重载_c++函数重载实现方法

    函数重载通过参数列表差异实现,如类型、数量或顺序不同,编译器根据实参选择对应函数,返回类型不同不能单独用于重载。 在C++中,函数重载允许在同一作用域内定义多个同名函数,只要它们的参数列表不同(参数个数、类型或顺序不同),编译器会根据调用时传入的实参来选择匹配的函数。函数重载不能仅通过返回类型的不同…

    2026年5月10日
    000

发表回复

登录后才能评论
关注微信