Visual Studio 2019 16.11.27编译C++代码时的比较逻辑异常问题

针对你提出的问题：代码在Visual Studio 2019 16.11.27编译Release版本时，输入参数"2 0 1"无法进入预期分支（ninfl未被设为2），仅Debug模式正常。先看你的代码：

// ConsoleApplication1.cpp : This file contains the 'main' function. Program execution begins and ends there.
//

#include <iostream>
#include <string>

int main(int argc, char* argv[])
{

  if (argc!=4)
  {
    printf("Call with 2 0 1 as argument") ;
    return 1;
  } 
  // planeprev=2 cplane=0 cplane_id=1
  int ninfl = 0;
  int planeprev = std::stoi(argv[1]);
  int cplane = std::stoi(argv[2]);
  int cplane_id = std::stoi(argv[3]);
  std::cout << "PP=" << planeprev << " CP=" << cplane << " CPID=" << cplane_id << std::endl;
  if (cplane_id > planeprev && cplane_id < cplane)
  {
    ninfl = 2;
  }
  else if (cplane_id < planeprev && cplane_id > cplane)
  {
    ninfl = 2;
  }
  else if ((cplane == cplane_id && cplane > planeprev) ||
    (planeprev == cplane_id && cplane < planeprev))
  {
    ninfl = 1;
  }
  else if ((cplane == cplane_id && cplane < planeprev) ||
    (planeprev == cplane_id && cplane > planeprev))
  {
    ninfl = 1;
  }

  if(ninfl!=2)
  printf("ERROR OUTPUT! \n");
  else
  printf("CORRECT OUTPUT\n");
}

代码逻辑判断 #

针对输入"2 0 1"，planeprev=2、cplane=0、cplane_id=1，第二个else if的条件cplane_id < planeprev && cplane_id > cplane（即1<2 && 1>0）完全成立，代码逻辑上应该进入该分支并将ninfl设为2，输出CORRECT OUTPUT。因此代码本身的逻辑是正确的，不存在语法或逻辑错误。

Release模式异常的可能原因 #

出现Release模式下的异常行为，大概率是编译优化或调试显示的问题：

• 编译器优化导致调试假象：VS Release模式默认开启O2级优化，编译器会对代码进行指令重排、变量合并等操作，调试时查看变量值可能不准确，但实际程序执行逻辑是正确的。可以尝试关闭Release模式的优化（项目属性→C/C++→优化→选择"禁用(Od)"），再测试是否正常。
• 参数传递验证：确认Release模式运行时，程序确实接收到了"2 0 1"这三个参数。检查VS中Release模式的命令参数设置是否正确。
• 标准输出缓冲问题：代码中混用cout和printf可能导致输出顺序混乱，但不会影响ninfl的赋值结果。可以统一输出方式，或在cout后调用std::cout.flush()确保输出及时刷新。

代码优化建议 #

你可以简化逻辑分支，让代码更清晰，减少出错概率：

#include <iostream>
#include <string>
#include <algorithm> // 用于std::min和std::max

int main(int argc, char* argv[])
{
    if (argc != 4)
    {
        printf("Call with 2 0 1 as argument");
        return 1;
    }

    int ninfl = 0;
    int planeprev = std::stoi(argv[1]);
    int cplane = std::stoi(argv[2]);
    int cplane_id = std::stoi(argv[3]);
    std::cout << "PP=" << planeprev << " CP=" << cplane << " CPID=" << cplane_id << std::endl;

    // 判断cplane_id是否在planeprev和cplane之间（不含端点）
    if ((cplane_id > std::min(planeprev, cplane)) && (cplane_id < std::max(planeprev, cplane)))
    {
        ninfl = 2;
    }
    // 判断cplane_id等于其中一个端点，且两个端点不相等
    else if ((cplane_id == planeprev || cplane_id == cplane) && (planeprev != cplane))
    {
        ninfl = 1;
    }

    printf(ninfl != 2 ? "ERROR OUTPUT! \n" : "CORRECT OUTPUT\n");
    return 0;
}

内容的提问来源于stack exchange，提问作者Vinicius Almada