C如何用宏區(qū)別常量資源和變量資源？

true_casey

1. static
   
2. void testB (char *src)
   
3. {
   
4.         /* 判斷傳入的src 是屬于 @1/2/3 ??? */
   
5.         do_somthing ();
   
6. }
   
7. 
   
8. static
   
9. void testA (char *src)
   
10. {
    
11.         char *a = "hello world";
    
12.         char b[100] = "hello world";
    
13. 
    
14.         testB (a);                                        /* @1 */
    
15.         testB (b);                                        /* @2 */
    
16.         testB ("hello world" );                                /* @3 */
    
17. }

復(fù)制代碼

@1 有名常量
@2 緩沖資源
@3 未名常量

怎么用宏去區(qū)別��？？？

myworkstation

編譯器和語(yǔ)言并沒(méi)有直觀的提供什么功能去實(shí)現(xiàn)這個(gè)處理，可以換個(gè)思路，在C中有四個(gè)存儲(chǔ)類(lèi)型static,automatic,register,dynamic。每種類(lèi)型的存儲(chǔ)的地址都是可識(shí)別的，通過(guò)對(duì)存儲(chǔ)地址的判斷可以識(shí)別實(shí)事的變量或常量變型。
char *a = "hello world";testB (a); 和　testB ("hello world" );  這兩個(gè)調(diào)用實(shí)際上是一樣的。編譯器在處理的時(shí)候會(huì)把對(duì)hello world的變引指向相同的地方（編譯器基本都這么進(jìn)行優(yōu)化處理，不屬于標(biāo)準(zhǔn)規(guī)定）。根據(jù)上述說(shuō)法那下面的公式成立：編譯器對(duì)常量變量的內(nèi)存處理策略＋操作系統(tǒng)的內(nèi)存布局＝可明確定位的內(nèi)存識(shí)別。由于操作系統(tǒng)的內(nèi)存布局因系統(tǒng)而定，編譯器的實(shí)現(xiàn)也各有不同，所以就算得出結(jié)論要實(shí)現(xiàn)相關(guān)處理的代碼也是很難進(jìn)行移植的。下面是完成相關(guān)功能的代碼在linux下測(cè)試通過(guò)。

1. #include <stdlib.h>
   
2. #include <stdio.h>
   
3. #include <string.h>
   
4. 
   
5.     int global_dummy = 0;
   
6.     static
   
7.     void testB (char *src)
   
8.     {
   
9.             /* 判斷傳入的src 是屬于 @1/2/3/4*/
   
10.             int local_dummy = 0;
    
11.             if( (unsigned long)src < (unsigned long )&local_dummy ){
    
12.                 //if( src > testB ){
    
13.                     if(  (unsigned long )src <  (unsigned long )&global_dummy ){
    
14.                         printf("string literal\n\n");
    
15.                     }
    
16.                     else if (  (unsigned long ) src > (unsigned long ) &global_dummy){
    
17.                         printf("malloc string\n\n");
    
18.                     }
    
19.                 //}
    
20.             }
    
21.             else
    
22.             {
    
23.                 printf("array: stack\n\n");
    
24.             }
    
25.     }
    
26.     static
    
27.     void testA ()
    
28.     {
    
29.             char *a = "hello world";
    
30.             char b[100] = "hello world";
    
31.             char *c = malloc(100);
    
32.             strcpy(c,a);
    
33.             printf("char *a = \"hello world\";\n");
    
34.             testB (a);                                        /* @1 */
    
35.             printf("char b[100] = \"hello world\";\n");
    
36.             testB (b);                                        /* @2 */
    
37.             printf(" (\"hello world\" )\n");
    
38.             testB ("hello world" );                                /* @3 */
    
39.             printf("char *c = malloc(100);\n");
    
40.             testB (c );                                /* @4 */
    
41.             free(c);
    
42.     }
    
43. 
    
44. int main(int argc,const char** argv)
    
45. {
    
46.     testA();
    
47.     return 0;
    
48. }
    

復(fù)制代碼

程序的運(yùn)行結(jié)果如下：
char *a = "hello world";
string literal

char b[100] = "hello world";
array: stack

("hello world" )
string literal

char *c = malloc(100);
malloc string


下面貼個(gè)linux下程序運(yùn)行的內(nèi)存布局圖，可以加深對(duì)上述代碼的理解

bruceteen

char *a = "hello world";
之所以能編譯通過(guò)，是因?yàn)榫幾g器網(wǎng)開(kāi)一面，以照顧舊有的海量代碼。但不等于說(shuō) a[] 就是可寫(xiě)的，碼農(nóng)得自己保證不修改a[]值。
換種說(shuō)法，看到以前代碼中 char *a = "hello world"; 就不用改了，能編譯通過(guò)；但正在寫(xiě)的代碼，可不能這樣，得寫(xiě)成正確的 const char *a = "hello world";

lxyscls

屌爆了，完全不懂{:3_188:}

myworkstation

回復(fù) 3# bruceteen


    你的提醒很有必要，這個(gè)行為在不同的c和c++的編譯器上有會(huì)不同的行為，應(yīng)該說(shuō)char *a = "hello world";這種寫(xiě)法不能算錯(cuò)誤的寫(xiě)法，所以c編譯器不報(bào)錯(cuò)也不警告，就此問(wèn)題稍微展開(kāi)一下，說(shuō)說(shuō)這個(gè)做具體會(huì)有什么樣的行為。早期的K&C認(rèn)為這是完全合法的，但從K&C第二版標(biāo)準(zhǔn)開(kāi)始就明確指出“修改string literal的結(jié)果是未定義的，字符串并不總是可修改的，可能會(huì)放在只讀內(nèi)存區(qū)域“。從C89開(kāi)始，這個(gè)問(wèn)題有了更明確的規(guī)定。char *a = "hello world"；定義a是一種字符指針類(lèi)并使用指定的字符數(shù)組（類(lèi)型為array of char)“hello world"初始化，如果試圖修改數(shù)組的內(nèi)容行為將是未定義的。關(guān)鍵的解釋就在"未定義“這個(gè)解釋上，實(shí)際上未定義不是錯(cuò)誤，它在這里表示代碼不可移值。所以在c89和c99規(guī)范的”公共擴(kuò)展“部分有如下規(guī)則：String literals是可修改的，此時(shí)指向另外一個(gè)內(nèi)容完全相同的對(duì)象。在c++中則有區(qū)別，c++2003標(biāo)準(zhǔn)規(guī)定string literal是由const字符數(shù)組構(gòu)成的（array of n　const char）,所以Ｃ＋＋明確了string literal是不可修改的。C++沒(méi)有規(guī)定所有內(nèi)容相同的string literal會(huì)指向同一個(gè)對(duì)象（相同的內(nèi)容指向唯一的對(duì)象），這是由編譯器實(shí)現(xiàn)決定的，同時(shí)指出了試圖修改string literal的行為是未定義的。為了兼容C，所以不加const 的char*依然是可用的，但通常編譯器會(huì)給出警告。最后Ｃ＋＋標(biāo)準(zhǔn)明確規(guī)定不贊成這樣做（deprecated）�！⌒揎棡閐eprecated表示將來(lái)不再支持這個(gè)特性。


這個(gè)問(wèn)題要解釋清楚就得看標(biāo)準(zhǔn)了。下面是相關(guān)標(biāo)準(zhǔn)中的信息摘要：

C99
char *p = "abc";
defines p with type ‘‘pointer to char’’ and initializes it to point to an object with type ‘‘a(chǎn)rray of char’’
with length 4 whose elements are initialized with a character string literal. If an attempt is made to use p to
modify the contents of the array, the behavior is undefined.

J.5.5 Writable string literals
1 String literals are modifiable (in which case, identical string literals should denote distinct
objects) (6.4.5).

C++2003
An ordinary string literal has type “array of n
const char” and static storage duration.

Whether all string literals are distinct (that is, are stored in nonoverlapping objects) is implementationdefined.
The effect of attempting to modify a string literal is undefined.

D.4 Implicit conversion from const strings [depr.string]
1 The implicit conversion from const to non-const qualification for string literals (4.2) is deprecated.