三元运算符中的指针

Question

当我在三元运算符中使用指针时，如果条件为真，它会执行 exp3

#include <stdio.h>

int main(){

    int a,b;

    printf("Enter first number:");
    scanf("%d",&a);

    printf("Enter second number:");
    scanf("%d",&b);

    printf("Address of a:%u \n",&a);
    printf("Address of b:%u \n",&b);

    int *ptr=&b;

    // when i use pointer in ternary operator if condition is true it execute exp3

   // problem in this line 
   (*ptr++) > (*ptr) ? printf("\n %d is the maximum number",b):printf("\n %d is the maximum number",a);

    (a>b) ? printf("\n %d",a) : printf("\n %d",b);

    return 0;
}

Answer 1

您的代码中有几个问题会导致未定义的行为(UB)。 首先是您不恰当地使用了指针算法。 递增，递减和比较等操作仅对指向 arrays 的元素的指针真正有用。在您的情况下， a和b都不是数组（尽管从编译器的角度来看，它们可以被视为单元素数组），所以有编译器没有义务遵循这些变量的任何特定相对memory 安排：它们可以在 memory 中相邻，或由任意数量的字节分隔； 而且，即使它们是相邻的，它们也可能是“双向”（也就是说， a或b可能在较低的地址中）。

我们可以为此在您的代码中创建一个“快速解决方法”，方法是声明一个实际数组，然后为该数组的元素创建a和b标记别名：

//  int a, b;
    int data[2];
    #define a (data[0])
    #define b (data[1])

UB 的另一个原因是在显示指针时使用了错误的printf格式说明符； 应该使用%p说明符打印指针，即使这样，当作为 arguments 传递给printf时，也应该真正转换为void* ：

    printf("Address of a:%p \n", (void*)&a);
    printf("Address of b:%p \n", (void*)&b);

但是第三个——也许是最重要的——UB 来源出现在条件（“三元”）运算符的“条件”表达式中： (*ptr++) > (*ptr)比较。

对于这个表达式，C 标准没有指定首先计算>的哪个操作数（即>运算符不是序列点）。 因此，使用中间变量扩展编译器如何解释它，我们可以得到：

T1 = (*ptr++);   // T1 will get the value of "a", then "ptr" is incremented
T2 = (*ptr);     // T2 will get the value of "b"
if (T1 > T2) ... // This will now be equivalent to the "a > b" comparison

或者，编译器同样有权这样做：

T1 = (*ptr);     // T1 will get the value of "a"
T2 = (*ptr++);   // T2 will ALSO get the value of "a" and THEN 'ptr' is incremented
if (T1 > T2) ... // This will now be equivalent to the "a > a" comparison - which is wrong

我们可以通过显式使用上述中间变量来解决此 UB：

    int T1 = *ptr++;
    int T2 = *ptr;
    T1 > T2 ? printf("\n %d is the maximum number", b) : printf("\n %d is the maximum number", a);

但请注意，即使那样，您的代码也会显示错误的答案，因为应用后增量的方式（即，在*ptr的值已分配给T1之后）。

如果你必须在你的代码中使用指针，那么避免后递增，只使用一个简单的加法来获取b （或第二个元素）的地址，从而在使用它引用a （第一个元素）时保持ptr不变:

    *(ptr+1) > *ptr ? printf("\n %d is the maximum number", b) : printf("\n %d is the maximum number", a);