C ++ constexpr if语句的灵活性

如何解决C ++ constexpr if语句的灵活性

我经常遇到这种情况：

if (A && B)
{
    C();
}
else
{
    D();
}

但是，当A是constexpr时，如果B也不也是constexpr，则无法在if语句中指出这一点。此外，启用constexpr的解决方法很丑：

if constexpr (A)
{
    if (B)
    {
        C();
    }
    else
    {
        D();
    }
}
else
{
    D();
}

是否存在使constexpr if语句更灵活的建议，即考虑constexpr中的哪些条件？如果不是这样，除了假定编译器将做正确的事情（他们并不总是做正确的事情）以外，还有没有其他解决方法？

解决方法

if constexpr不是“更快的if”。当条件表达式恰好是常量表达式时，您使用的不是if语句。想要编译器在编译时测试条件时，甚至都没有使用if语句（编译器可以自己执行此操作）。

第二个示例中if constexpr用法的含义是表达式C()并不意味着有效的C ++ ，除非由A表示的条件是真的。这是为什么您用if constexpr保护代码块；这就是为什么将功能添加到语言中的原因。显然，您可以将其用于其他用途，但是如果您只关心让编译器在编译时评估条件表达式，则不应该使用if constexpr。

正是出于这个原因，您所要求的结果无法实现。

再看第二个例子，在仅部分为常量表达式的表达式中复制if constexpr的行为的困难就显而易见了。规则将需要相当复杂。在您的示例中，即使D()为true，A也必须是有效的C ++代码，因为B在运行时可能为false。

您需要针对这些“部分constexpr”表达式如何禁止评估各个代码分支建立一些相当复杂的规则。这很容易导致用户难以理解复杂的表达式何时将剔除哪些分支，何时将其剔除。

在这种情况下，最好让用户将其写成长篇幅。

除了假定编译器会做正确的事（他们并不总是做正确的事）以外，还有其他解决方法。

好吧...当示例中的代码是 all 所有void函数（或void函数的最后一部分）的内容时...什么关于以下内容？

if constexpr ( A )
   if ( B )
    {
      C();

      return;
    }

D();

否则（如果您的代码是较大函数的非最终片段），我想您可以将其包装在while

中

while ( 1 )
 {
   if constexpr ( A )
      if ( B )
       {
         C();

         break;
       }

   D();

   break;
 }

但是我想这是一个“假设编译器将做正确的事情”的情况。