ポインタとconstをtypedef'ngする

Question

私はポインタをtypedef'ngするのが悪いことを示した例を見ていました。私がこの例について理解していなかった部分は、コンパイラが問題を捕らえることができなかった理由です。私は、次のコードに例を詳述：

#include <stdio.h> 

typedef int *TYPE; 

void set_type(TYPE t) { 
    *t = 12; 
} 

void foo(const TYPE mytype) { 
    set_type(mytype); // Error expected, but in fact compiles 
} 

int main() { 
    TYPE a; 
    int b = 10; 
    a = &b; 
    printf("A is %d\n",*a); 
    foo(a); 
    printf("A is %d\n",*a); 

    return 0; 
} 

だから、私はaの値を変更することができました。この例では、問題を解決するためにtypedef const int *TYPEを実行する必要があると説明されていましたが、関数の引数自体にTYPE to be constを設定しているときに、コンパイラがエラーをキャッチできない理由を理解できません。私は何か非常に基本的なものが欠けていると確信しています

Answer 1

ここでの問題は、constが適用されていることについて混乱しています。ポインタ値自体に適用されているか、値が指し示されていますか？

const TYPE xは、のポインタ値がであると言っています。これはおおよそint * const xに相当します。次のコードがエラーで結果をすることに注意してください：あなたが期待していた何

int b = 10; 
const TYPE p = NULL; 
p = &b; // error here (assign to const) 

ががX定数によって指された値になりますconst int * x、です。この時、しかし

typedef const int * CONST_TYPE; 

：typedefであるため

事は別のtypedefを宣言するとは別に、 constをする必要があります TYPEで指されるように指定する方法はありません、 TYPEはポインタ型であるという事実を隠しtypedefはそれが解決するよりも多くの問題を引き起こしているように思われる...おそらく最良のアイデアではない。