C++ 17 带初始化的 if 和 switch 语法

王晓华-吹泡泡的小猫

于 2025-04-25 11:40:44 发布

阅读量529

点赞数 22

分类专栏：现代 C++ 文章标签：现在 C++ C++ 17 初始化 if if 语句

本文链接：https://blog.csdn.net/orbit/article/details/146590897

版权

现代 C++ 专栏收录该内容

42 篇文章

订阅专栏

1 带初始化的 if 语句

C++ 的 for 循环可以将初始化和条件判断写在一行代码中，用更少的代码实现更多的语义，可以使代码看起来更简短。但是其他语句就没有这个待遇了，尤其是像 if 语句这样经常需要初始化一个值，然后判断的情况。好消息是 C++ 17 已经支持在 if 语句和 switch 语句中使用初始化的语法了，来看看它们的语法结构：

if (init; cond) E;
switch(init; cond) {}

不要小看这点变化，结合 C++ 17 的其他语法糖，可以实现 C++ 代码更高的语义密度。举个例子，C++ 的 std::set 的 insert() 函数可以同时返回插入元素后的迭代器和插入的结果，判断操作是否成功的代码通常比较繁琐：

std::set<int> ist{ 5, 8, 12, 9};

std::set<int>::iterator iter;
bool inserted;
std::tie(iter, inserted) = ist.insert(7);
if(inserted)
{
    ...
}

使用 std::tie() 使得可读性更好一点，避免了直接使用 std::pair 导致的 first、second 天书，但是也使得代码臃肿不堪。现在结合 C++ 17 的结构化绑定和带初始化的 if 语句，上述代码就可以简化为：

std::set<int> ist{ 5, 8, 12, 9};

if(auto [iter, inserted] = ist.insert(7); inserted)
{
    ...
}

除了语法上的简化，使用嵌套在 if 语句内的初始化，可以将 iter 和 inserted 的作用域控制在 if 语句的范围之内，超出 if 语句的范围之外，iter 和 inserted 将不能访问。从软件开发的实践角度看，因该在使用的时候声明变量，并尽量将变量的作用域控制在限用的范围内，这个语言功能很好地适配了这个原则。控制变量的作用域，不仅符合软件设计的原则，还可以避免符号污染，有利于编译器优化代码。

带初始化的 if 并不局限于结构化绑定的时候使用，任何初始化表达式都可以成为语法中的 init 部分，比如：

int GetCompareResult()
{ ... }

if(int x = GetCompareResult(); x > 42)
{
    ...
}

2 带初始化的 switch 语句

带初始化的 switch 语句的用法也是一样的，但是因 switch 语句的局限性，这里的初始化表达式仅限于整数或枚举类型的初始化，这一点需要注意。带初始化的 switch 语句也是甜甜的语法糖，能用就用，挺好地。

int GetCompareResult()
{ ... }

switch(int i = GetCompareResult(); i)
{
	cese 42;
	    // 关于宇宙、人生、一切的意义
        break;
	default:
	    // ;
	    break;
}

3 if-conxtexpr 也支持

C++ 17 也支持常量 if 表达式（if-conxtexpr），当然，if-constexpr 语法上也支持初始化语句，只是要求初始化语句也只能使用常量和常量表达式。比如这个例子中的 k 的初始化：

template<std::size_t N>
bool Func()
{
    if constexpr (constexpr std::size_t k = 2; (N % k) == 0)
        return true; //偶数返回 true
    else
        return false;  //奇数返回 false
}