호환되지 않는 포인터 유형 (const vs non-const)에서 반환. C/GCC

Question

다음 코드 조각이 있습니다.

typedef uint8_t array_t[8]; 
static array_t _my_array; 
static const array_t * foo(void) { 
    return &_my_array; // <-- return from incompatible pointer type 
} 

어떻게이 오류를 수정합니까? 내가 뭘 잘못하고 있죠?
_my_array를 (const array_t *)로 캐스트해야합니까? 포인터에서 암시 적으로 const 포인터로 캐스트하지 않아야합니까?

참고 :

return _my_array; 

은로 잘 작동합니다. 즉, 같은 경고로 컴파일됩니다.

Answer 1

문제는 const입니다. 함수는 const array_t * (const array_t에 대한 포인터)을 반환하지만 반환되는 표현식 &_my_array은 array_t *이며 두 유형은 호환되지 않습니다.

typedef uint8_t array_t[8]; 
static array_t _my_array; 
static array_t * foo(void) { 
    return &_my_array; 
} 

편집 :

간단한 수정 반환 형식에서 const을 드롭하는 것입니다

내가 컴파일러의 버그를 제안 주저 해요,하지만 난 함께 왔어요 내가 생각하는 테스트 프로그램은 gcc의 버그 또는 C 표준의 매우 모호한 부분을 나타냅니다.

typedef int this_type; 
typedef int that_type[8]; 

static this_type this; 
static that_type that; 

static const this_type *this_func(void) { 
    return &this; 
} 

static const that_type *that_func(void) { 
    return &that; 
} 

나는 이것을 컴파일

gcc -c -std=c99 -pedantic-errors c.c (GCC 4.5.2), 내가 얻을 :

c.c: In function ‘that_func’: 
c.c:12:5: error: return from incompatible pointer type 

이 왜 const that_type*에 that_type*에서 암시 적 변환에 대해 불평 않지만, this_type*에서하지에 대한 변환 const this_type*. that_type 이후

가 타입 정의 , 그것은 배열 형 별칭, 그리고 that_type* 배열 (되지 배열의 요소에 대한 포인터)에 대한 포인터; 내가 말할 수있는 한 배열에서 포인터로의 변환은 없다. 나는 그렇지 않다 은 this_type이 정수형이고 that_type이 배열 형식 인 것이 차이를 만들어야한다는 것을 생각한다.

다른 데이터 요소 : Solaris 9의 경우 cc -c -Xc c.c은 불만하지 않습니다.

foo 포인터를 const foo에 대한 포인터로 변환하는 것이 안전해야합니다. const-correctness를 위반할 기회는 없습니다.

내가 옳다 경우, 해당 코드가 유효 GCC의 경고는 잘못된 것입니다, 당신은 함수 정의에 const 놓아 그 중 하나를 해결할 수 있습니다 (이 const array_t*보다는 array_t*를 반환 할, 또는로 return 문에 캐스트를 추가합니다.

return (const array_t*)&_my_array; 

내가 잘못하면 곧 누군가를 가리킬 것으로 예상됩니다.

(.. 식별자가 다소 고의적으로 this하는 C++ 키워드의 내 사용, 이것은 내가 C++이 지역에서 약간 다른 규칙이 있음을 이해할 C의 질문입니다.)

EDIT2 : I 방금 gcc bug report을 제출했습니다.

EDIT3 : 조셉 S. 마이어스 내 버그 보고서에 응답 :

이것은 버그가 아닙니다. 암시 적으로 "int에 대한 포인터"는 "const int에 대한 포인터"로 변환 될 수 있지만 "int 배열"에 대한 포인터 " "(6.5.16.1 참조) 및 "const that_type *" "const int의 배열에 대한 포인터"입니다 (" const int 배열"에 대한 포인터는 이러한 형식이 아니며, 이러한 변환은 변환의 허용 된 대상입니다 (6.7.3 # 8 참조).

Answer 2

Answered by Joseph S. Myers

이것은 버그가 아닙니다. 암시 적으로 "int에 대한 포인터"는 "const int에 대한 포인터"로 변환 될 수 있지만 "int 배열"에 대한 포인터 " "(6.5.16.1 참조) 및 "const that_type *" "const int의 배열에 대한 포인터"입니다 (" const int 배열"에 대한 포인터는 이러한 형식이 아니며, 이러한 변환은 변환의 허용 된 대상입니다 (6.7.3 # 8 참조).