C++中#ifdef与defined()组合使用的异常行为问询

1. is_unix1() 返回 true 的原因 #

你定义的#define UNIX (defined(__unix__) || defined(__unix))会始终让UNIX宏处于“已定义”状态——预处理器的#ifdef只检查宏是否存在，完全不关心宏展开后的值是0还是非0。在Windows环境下，虽然defined(__unix__)和defined(__unix)都为假，UNIX宏展开后是(0 || 0)即0，但#ifdef UNIX依然会判定“UNIX宏已定义”，因此is_unix1()进入true分支，返回true。

2. is_unix2() 返回 false 的原因 #

#ifdef defined(UNIX)是错误语法。#ifdef的正确用法是直接跟随宏名称（比如#ifdef UNIX），而defined(UNIX)是一个预处理器表达式，不能放在#ifdef之后——预处理器会把defined(UNIX)当作一个宏名称去检查是否存在，显然没有名为defined(UNIX)的宏，因此进入#else分支，返回false。

补充：你提到defined(...)是编译器特定扩展，这其实是误解——defined操作符是C标准（从C98起）规定的预处理器特性，属于标准内容，并非编译器私有的扩展。

方案一：直接用预处理器表达式判断 #

跳过中间宏定义，直接在函数内用#if结合defined做检测：

#include <iostream>
using namespace std;

constexpr bool is_unix()
{
#if defined(__unix__) || defined(__unix)
    return true;
#else
    return false;
#endif
}

constexpr bool is_windows()
{
#if defined(WIN32) || defined(_WIN32) || defined(__WIN32__) || defined(__NT__)
    return true;
#else
    return false;
#endif
}

int main()
{
    cout << boolalpha << is_unix() << " " << is_windows() << endl;
}

方案二：正确定义平台标识宏 #

如果需要复用平台标识，用#if条件定义宏，而非直接#define：

#include <iostream>
using namespace std;

#if defined(WIN32) || defined(_WIN32) || defined(__WIN32__) || defined(__NT__)
constexpr bool IS_WINDOWS = true;
constexpr bool IS_UNIX = false;
#else
constexpr bool IS_WINDOWS = false;
constexpr bool IS_UNIX = true;
#endif

constexpr bool is_unix()
{
    return IS_UNIX;
}

constexpr bool is_windows()
{
    return IS_WINDOWS;
}

int main()
{
    cout << boolalpha << is_unix() << " " << is_windows() << endl;
}

方案三：兼容编译期/运行时检测（C++20+） #

如果需要同时支持编译期常量判断和运行时逻辑，结合std::is_constant_evaluated：

#include <iostream>
#include <type_traits>
using namespace std;

constexpr bool is_unix()
{
    if (std::is_constant_evaluated())
    {
#if defined(__unix__) || defined(__unix)
        return true;
#else
        return false;
#endif
    }
    // 可选：运行时检测逻辑（比如读取系统信息）
    return false;
}

int main()
{
    cout << boolalpha << is_unix() << endl;
}

内容的提问来源于stack exchange，提问作者Aakash Gupta