C语言里面 1 ? "123" : "1234" 是一个非法的表达式

koolcoy

我不是很确定我的结论，下面是我的看法

在C语言里，string literal的类型仍然是字符数组，感觉这一点在C的标注里面6.4.5写得不是很明白，我的理解是string literal的类型是字符数组，不知道对不对。google搜到的结果也说string literal是字符数组。

这一段摘自c99的草案n1124第6.5.15节 conditional operator. 表达式 1 ? "123" : "1234" 不满足第3点提出的限制

2 The first operand shall have scalar type.
3 One of the following shall hold for the second and third operands:
— both operands have arithmetic type; <======== 都是算数类型，不满足
— both operands have the same structure or union type; <======== 都是相同的结构体或者联合体，不满足
— both operands have void type; <===== 都是void类型，不满足
— both operands are pointers to qualified or unqualified versions of compatible types; <=== 都是指针，到底满足还是不满足我不肯定
— one operand is a pointer and the other is a null pointer constant; or <=== 一个是指针，一个是NULL，不满足
— one operand is a pointer to an object or incomplete type and the other is a pointer to a
qualified or unqualified version of void. <==== 一个是指针，一个是void*

欢迎讨论

zhaohongjian000

都是指针。

三月廿七

楼主是硕士吗？， 3年就好意思开 2万+ ?

wait_rabbit

三月廿七 发表于 2012-04-24 17:35
楼主是硕士吗？， 3年就好意思开 2万+ ?

真正的高手自然可以。

如果是麻省理工出来的，一年开这个数都是混得惨。

tempname2

数组在表达式里会变成指针，不知道这个地方怎么算。

tempname2

回复 3# 三月廿七


印象中LZ好像是本科。

君不见前些时那个搞后端3年税后15*15想转嵌入式的帖子，看得我泪流满面

OwnWaterloo

我不是标准帝……  所以：

1. 
   
2. #include <stdio.h>
   
3. 
   
4. int main(int argc, char* argv[])
   
5. {
   
6.       printf( "%lu %lu\n"
   
7.             , (unsigned long)sizeof(char*)
   
8.             , (unsigned long)sizeof( argc? "12": "6" ) );
   
9.       return 0;
   
10. }
    

复制代码

我只记得C++里三元表达式后两个操作数类型不同会导致exception，而且自己中过招……

三月廿七

马云说：中国有 95%的人高估了自己的能力

OwnWaterloo

回复 1# koolcoy

或者换一个角度想…… 如上面的

1. 
   
2. sizeof( argc? "12": "6" )
   

复制代码

sizeof的结果要求是个常量，（C99有例外，但只是对VLA相关的），而argc不是编译时常量。
如果sizeof( argc? "12": "6" )是 argc? sizeof("12"): sizeof("6")， 就无法成为编译时常量了。

所以，要么sizeof( argc? "12": "6" )非法（但msvc/gcc/clang都支持，即使有pedantic参数）；要么它是sizeof( argc? (char*)"12": (char*)"6" )即sizeof(char*)的意思……

koolcoy

C++里面这是个合法的表达式，我确认。C我不确认，虽然我接触的C编译器都支持这个表达式。

另外，只讨论主题，不讨论签名档，骑驴找马当然对马儿的要求很高 马云觉得别人高估自己，我还觉得马云神话他自己呢