遇到恶心的事情了， sizeof( "a" + 1 ) 为多少？

flyingtime

《非诚勿扰》上面说的好：“21世纪什么最重要：‘和谐’”
大家都低调一些，不要发表那些与问题无关的其他评论。

action08

sizeof( "a" + 1 ) = sizeof("a") = 2;
sizeof( "a" + 1000 000 000 000 ) = sizeof("a") = 2;//明白吗？以字符串大小为准


===

1.     printf("pf%2d = %d\n",i++, sizeof(4));//4
   
2.     printf("pf%2d = %d\n",i++, sizeof("a"));//2
   
3.     printf("pf%2d = %d\n",i++, "a");//4282180
   
4. 
   
5.     printf("pf%2d = %d\n",i++, 4+"a");//4282184
   
6.     printf("pf%2d = %d\n",i++, sizeof(4+"a"));//2
   
7.     printf("pf%2d = %d\n",i++, sizeof("a"+4000000000));//2
   
8. 
   
9.     printf("pf%2d = %d\n",i++, sizeof(4000000000+"a"));//2
   
10.     printf("pf%2d = %d\n",i++, 4000000000+"a");//-290685116
    
11.     printf("pf%2d = %d\n",i++, 2000000000+"a");//2004282180
    
12. 
    
13.     printf("pf%2d = %d\n",i++, 1);//1
    
14.     printf("pf%2d = %d\n",i++, sizeof("absdf"+4+4));//4
    
15.     printf("pf%2d = %d\n",i++, sizeof("absdf"));//6

复制代码

===
编译器确实做了优化，也引起了“负面效果”。//我认为等于4更合适....

这点到底该如何规定，主要是看设计师的看法，建议也看看GCC是怎么处理的。

发个报告给MS吧，，顶你

我测试平台用的是xp32+vc9express

[ 本帖最后由 action08 于 2009-2-11 14:54 编辑 ]

太平绅士

原帖由 action08 于 2009-2-11 14:28 发表
sizeof( "a" + 1 ) = sizeof("a") = 2;
sizeof( "a" + 1000 000 000 000 ) = sizeof("a") = 2;//明白吗？以字符串大小为准


===
编译器确实做了优化，也引起了“负面效果”。

这点到底该如何规定，主 ...

不要人云亦云.
你懂不懂啥叫优化啊？优化的目的是什么? 这样优在哪里了?
简单的例子, vc对于  sizeof( "a" + 1 ) 返回 2, 对于 sizeof( "a" + 1 + 1 ) 返回4. 这叫个什么优化? 根本就是bug.

action08

哦，卖糕的，，，


编译器的sizeof()越来越让我费解了.....

//
//sizeof("a"+1+1) = 4
// 因为"a"+1运算返回的是一个新地址，这个地址不是string（名词表中未定义），
// 假设此时生成新的临时变量int b = ("a"+1)，在表达式中编译器继续做b+1，最后"a"+1+1就成了个b类型的常数，最后返回的就是sizeof(b)=4

// 这地方的BUG是运算符造成的，编译原理书中陈述过这个道理，就是：
// sizeof("a"+1+1)!=sizeof("a"+2)//后面的运算符号+优先级别从低,，分析在上
//

=4的规则，肯定最简单，

[ 本帖最后由 action08 于 2009-2-11 15:05 编辑 ]

whguojin

vs2005 是4

63956372

Eclipse + Cygwin + GCC  + vista 下：
源代码：
int main(void) {
    int m = sizeof("abcde" + 3 );
    int n = sizeof('a' + 3 );
    printf( "m=%d,n=%d,str=%s,c=%c\r\n", m,n, "abcde" + 3, 'a' + 3);
    return EXIT_SUCCESS;
}

反汇编：地址0x00402000-0x00402005 存储 “abcde”
00401075  |.  E8 D2000000   call    <jmp.&cygwin1.__main>
0040107A  |.  C745 FC 04000>mov     dword ptr [ebp-4], 4                ; |；计算int m = sizeof("abcde" + 3 );
00401081  |.  C745 F8 04000>mov     dword ptr [ebp-8], 4                ; |；计算int n = sizeof('a' + 3 );
00401088  |.  C74424 10 640>mov     dword ptr [esp+10], 64           ; |；压栈'a' + 3
00401090  |.  C74424 0C 032>mov     dword ptr [esp+C], 00402003 ; |ASCII"de" ；压栈"abcde" + 3
00401098  |.  8B45 F8       mov     eax, dword ptr [ebp-8]                   ; |
0040109B  |.  894424 08     mov     dword ptr [esp+8], eax                ; |；压栈n
0040109F  |.  8B45 FC       mov     eax, dword ptr [ebp-4]                   ; |
004010A2  |.  894424 04     mov     dword ptr [esp+4], eax                ; |；压栈m
004010A6  |.  C70424 062040>mov     dword ptr [esp], 00402006    ; |ASCII "m=%d,n=%d,str=%s,c=%c",CR,LF
004010AD  |.  E8 AA000000   call    <jmp.&cygwin1.printf>                  ; \printf
004010B2  |.  B8 00000000   mov     eax, 0
004010B7  |.  C9            leave
004010B8  \.  C3            retn

说明：sizeof在计算"abcde" + 3 ，'a' +3 都是 4
         但"abcde" + 3 作为参数 得到是 地址， 'a' +3 得到的是61+3；

------------------------------------------------------------------------------------

vs2008 + vista

源代码：
void main()
{
    __asm {
        mov eax, 0x1
        add eax, 0x1
        add eax, 0x1
        add eax, 0x1
    }
    int m = sizeof("abcde" + 3 );
    int n = sizeof('a' + 3 );
    printf( "m=%d,n=%d,str=%s,c=%c\r\n", m,n, "abcde" + 3, 'a' + 3);
}

反汇编：地址0x013B57AC-0x013B57B0 存储 “abcde”
013B17CE    B8 01000000     mov     eax, 1
013B17D3    83C0 01         add     eax, 1
013B17D6    83C0 01         add     eax, 1
013B17D9    83C0 01         add     eax, 1
013B17DC    C745 F8 0600000>mov     dword ptr [ebp-8], 6             ; ；计算int m = sizeof("abcde" + 3 );
013B17E3    C745 EC 0400000>mov     dword ptr [ebp-14], 4            ; ；计算int n = sizeof('a' + 3 );
013B17EA    8BF4            mov     esi, esp
013B17EC    6A 64           push    64                                                    ; ；压栈'a' + 3
013B17EE    68 AF573B01     push    013B57AF                                   ; ASCII "de"
013B17F3    8B45 EC         mov     eax, dword ptr [ebp-14]
013B17F6    50              push    eax                                                     ; ；压栈n
013B17F7    8B4D F8         mov     ecx, dword ptr [ebp-8]
013B17FA    51              push    ecx                                                      ; ；压栈m
013B17FB    68 185C3B01     push    013B5C18                                  ; ASCII "m=%d,n=%d,str=%s,c=%c",CR,LF
013B1800    FF15 B4823B01   call    dword ptr [<&MSVCR90D.printf>] ; MSVCR90D.printf

说明：
     计算sizeof("abcde" + 3)结果为6，而计算sizeof('a'+3)结果为4；
     作为参数"abcde" + 3 算的 结果是地址，'a'+3 为61+3；

感觉 GCC 把"abcde" + 3 当作 地址 来看待  还是 合理一些，统一些。

[ 本帖最后由 63956372 于 2009-2-11 15:31 编辑 ]

qsc555

反正我就不去解释编译器什么想了，倾向于"a"+1看成指针，sizeof用来计算大小，"a"+1就是个有大小的东西，没必要套在里面，不行换方法吧

jan4984

原帖由 future0906 于 2009-2-10 20:19 发表


我记得某些编译器的sizeof并不是静态决定的，是运行时候计算的。

如果你定义char* a = "a" +1;再sizeof(a)的话就是4了

没听说过有这样的编译器...记出来是哪个告诉我一声~

FreeB_U

这是个狗屁
“a”+1 是嘛？？