사용자 데이터로 엄격한 앨리어싱 및 콜백

Question

콜백 기반 C API가있는 C++ 라이브러리가 있습니다.

typedef struct {...} Result; 
typedef void (*callback) (const Result* result, void* userData); 

사용자가이 같은 콜백을 등록 할 수 있으며, 임의의 데이터에 대한 포인터를 설정할 수 있으며,이 라이브러리는 다시 그 포인터를 전달 콜백 물마루 것이다 콜백 유형은 다음과 같다.

내 관심사는 다음과 같습니다. 엄격한 앨리어싱 규칙을 위반했는지 여부입니다. userData의 유형을 char *로 변경해야합니까?

Answer 1

아니요, 포인터가 간접적 인 경우에만 별칭이 적용되며 포인터가 포인터 값으로 전달되는 경우에는 적용되지 않습니다. 사용자가 일관되게 행동하는 한 괜찮을 것입니다.

즉, 실제 유형이 T 인 userData을 전달하는 경우 사용자는 콜백 함수에 액세스하기 전에 항상 T *으로 캐스팅해야합니다.

다시 포인터로 액세스하는 경우 (예 : printf("DEBUG: %p", userData)) 괜찮 으면서도 라이브러리에 userData을 간접적으로 삽입하지 않았다고 가정합니다.

Answer 2

C 콜백 API에 대해 더 많은 "C++"- ish 인터페이스를 만들면 별칭 문제를 제거 할 수 있습니다.

struct Callback { 
    void (*callback) (Callback *cb_this, const Result *result); 
}; 

같은 것을 할 것 콜백을 등록하려면 C 콜백 API를 사용하는 C 프로그래머 :

struct MyCallback { 
    struct Callback cb; 
    int x; 
    double y; 
    /* ... */ 
}; 

void my_callback_func (Callback *cb_this, const Result *result) { 
    MyCallback *my_cb = (MyCallback *)cb_this; 
    /* ... */ 
} 

MyCallback mycb = { { my_callback_func }, 0, 0, /* ... */ }; 

당신이 void * 처리에 대해 걱정할 필요가 없습니다 이쪽으로. 대신 Callback에 대한 단일 포인터가 전달됩니다.