如何在C语言中使用宏实现类似C++ Catch的表达式断言求值功能？

Absolutely! You can pull off this Catch-style assertion output in C—though you’ll need to lean on some preprocessor tricks since C doesn’t have the compile-time reflection magic that C++’s Catch uses. Let’s break down how to do it:

Option 1: Reliable Cross-Platform Implementation (Most Practical) #

The most portable way to get the exact output you want is to split the assertion into its core components (left operand, operator, right operand) in the macro call. While this changes the syntax slightly from Catch, it’s fully compatible with all C compilers and gives you precise control over the failure message:

#include <stdio.h>

// Helper macro that handles the assertion logic
#define _REQUIRE_OP(left, op, right) \
    do { \
        // Capture values once to avoid re-evaluating (critical if expressions have side effects)
        typeof(left) _left_val = (left); \
        typeof(right) _right_val = (right); \
        if (!(_left_val op _right_val)) { \
            fprintf(stderr, "Failed statement: %s %s %s evaluated as %d %s %d\n", \
                #left, #op, #right, _left_val, #op, _right_val); \
        } \
    } while(0)

// Wrappers for common comparison operators
#define REQUIRE_EQ(a, b) _REQUIRE_OP(a, ==, b)
#define REQUIRE_NE(a, b) _REQUIRE_OP(a, !=, b)
#define REQUIRE_LT(a, b) _REQUIRE_OP(a, <, b)
#define REQUIRE_GT(a, b) _REQUIRE_OP(a, >, b)
#define REQUIRE_LE(a, b) _REQUIRE_OP(a, <=, b)
#define REQUIRE_GE(a, b) _REQUIRE_OP(a, >=, b)

Usage Example:

int x = 5;
REQUIRE_EQ(x, 4);

When this fails, it outputs exactly what you’re looking for:

Failed statement: x == 4 evaluated as 5 == 4

This approach is:

• Cross-platform: Works with C99 and above (use __typeof__ instead of typeof if you need C89 compatibility).
• Safe: Captures operand values once, so side effects (like x++) won’t run twice.
• Readable: The macro names clearly state the comparison being tested.

Option 2: Near-Catch Syntax (GCC/Clang Only) #

If you’re targeting GCC or Clang and want syntax closer to Catch’s, you can use compiler-specific extensions—but be warned this sacrifices portability. The catch (pun intended) is that C’s preprocessor can’t parse expressions to split operands automatically, so you’d need to rely on fragile string manipulation (which breaks for complex expressions like (x + y) > z). For simple cases, though, here’s a rough example:

#include <stdio.h>
#include <string.h>

#define REQUIRE(expr) \
    do { \
        int _result = (expr); \
        if (!_result) { \
            const char* _expr_str = #expr; \
            char _left[64], _right[64]; \
            // This only works for simple == comparisons—you'd need to add logic for other ops
            if (sscanf(_expr_str, "%[^=]=%s", _left, _right) == 2) { \
                // WARNING: This trick relies on variable names being in scope and won't work for constants/complex expressions
                fprintf(stderr, "Failed statement: %s evaluated as %d == %d\n", \
                    _expr_str, eval(_left), atoi(_right)); \
            } else { \
                fprintf(stderr, "Failed statement: %s evaluated as false\n", _expr_str); \
            } \
        } \
    } while(0)

// Hack to evaluate a variable name from a string (only works for global variables!)
int eval(const char* var) {
    extern int x, y, z; // You'd need to declare all test variables here
    if (!strcmp(var, "x")) return x;
    if (!strcmp(var, "y")) return y;
    if (!strcmp(var, "z")) return z;
    return 0;
}

This is far from ideal—it only works for global variables, simple comparisons, and requires manually listing all test variables. Stick with Option 1 for production use.

Why You Can’t Exact Match Catch’s Syntax in Standard C #

Catch uses C++’s template metaprogramming and compile-time reflection (via clever macros that tap into C++’s type system) to parse expressions and extract operands at compile time. Standard C has no equivalent capability—its preprocessor is purely text-based and can’t understand the syntax of expressions to split them into parts.

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