constキャスト未定義の動作

Question

リターンキャスト（==>）は未定義の動作に配置できますか？コードのアイデアは非常に簡単で、侵入型リスト（plist）を繰り返し、要素が見つかるとその要素を返します。コードは反復するだけなので、リストを変更しないので、constポインタとして渡したいと思います。関数は、オブジェクトを取得し、CONSTとして使用するために使用される

static my_custom_type_t* get_object_by_id(const my_custom_type_t* plist, const char *my_id) 
{ 
    const my_custom_type_t* obj = NULL; 

    for (obj = plist; obj && strncmp(obj->id, my_id, MAX_SIZE); obj = obj->next) 
    { 
    ; //empty body 
    } 

    ==> return ((my_custom_type_t*) obj); 
} 

：

：関数はオブジェクトを取得し、非constオブジェクトとしてそれを使用するために使用される

const my_custom_type_t* obj = get_object_by_id(intrusive_list, some_id); 

my_custom_type_t* obj = get_object_by_id(intrusive_list, some_id); 

Answer 1

Cは、資格・ポインタへのポインタからの変換を指定しますが、ない他の方法で回避、C11 6.3.2.3/2：任意の修飾子Qの

、非Q-へのポインタ修飾タイプは、 をタイプのq修飾バージョンへのポインターに変換することができます。 元のポインタと変換されたポインタに格納された値は、 と等しくなければなりません。

ただし、CはC11 6.3.2.3/7、以下を可能にする：オブジェクト・タイプに

ポインタは 異なるオブジェクトタイプへのポインタに変換することができます。結果のポインタが参照された型に対して正しく に整列していない場合、動作は未定義です。 それ以外の場合は、再度変換すると、結果は と元のポインタを比較します。平易な英語で

、任意ポインタ型は、に他ポインタ型とバックを変換することができます。ポインタ自体にアラインメントの問題がない場合、ポインタが互換性のない型に変換されてから参照が解除されない限り、そのようなコードは問題ありません。修飾されたポインタへの型は、常に互換性のあるポインタ型の型です。

（これはタイプオブジェクトへのポインタを参照することに注意してください - 関数ポインタは特殊なケースである。）

これは本当にそのポインタが最初に指摘している場所によって異なりUBであるか否かだから。あなたは、次の場合はUB、C11 6.7.3/6を起動します。

試みは非const修飾 と左辺値を使用して const修飾型で定義オブジェクトを変更するためになされた場合型は、動作は未定義です。

ポインタがもともと読み取り専用の場所を指していた場合は、未定義の動作が呼び出されます。しかし、constでない、割り当てられた変数を指していれば問題ありません。たとえば、次のコードは問題ありと未定義の動作を呼び出しません。

type t; 
type* p = (type*)(const type*)&t1; 

そうでなければ、誰かがコメントで指摘したように、C標準ライブラリ関数のいくつかは、たとえばstrstrのために、根本的に壊れただろう。

Answer 2

リターンキャスト（==>）は未定義の動作に配置できますか？

キャストa (my_custom_type_t*)~(const my_custom_type_t*)は、UBを引き起こさない。

どちら行い、以下の原因のいずれかUB

const my_custom_type_t* plist1; 
const my_custom_type_t* obj1 = get_object_by_id(plist1, "x"); 
printf("%d\n", obj1->some_field); 

my_custom_type_t* plist2; 
my_custom_type_t* obj2 = get_object_by_id(plist2, "x"); 
obj2->some_field = 2; 

しかし、次の一つがラッパーであること、2つの機能を記述し、この可能性を避けるために...

const my_custom_type_t* plist3; 
my_custom_type_t* obj3 = get_object_by_id(plist3, "x"); 

// UB 
obj3->some_field = 3; 

をUBを起動しませんもう一方の

static const my_custom_type_t* get_object_by_id_const(
    const my_custom_type_t* plist, const char *my_id) { 
    // as above in OP's post 
    return obj; 
} 

static my_custom_type_t* get_object_by_id_noconst(
    my_custom_type_t* plist, const char *my_id) { 
    const my_custom_type_t* obj = get_object_by_id_const(plist, my_id); 
    return (my_custom_type_t*) obj; 
}