C++ 0X decltype은 다음 코드를 고려 멤버 변수 const와에게

Question

을 추론하는 데 실패 decltype 컴파일러는 const 멤버 함수이므로 이 const C 유형이므로 결과적으로 B<const C>이 아닌 실제로 이 B<C>이 될 것으로 추론합니다.

내가 잘못했거나 컴파일러 버그입니까? gcc 4.6을 사용하지만 4.4와 4.5는 동일한 동작을 나타냅니다.

Answer 1

컴파일러는 현재 C++ 0x WP에 따라 올바르게 작동합니다. 현재 진행중인 this issue report을 참조하십시오.

아마도 최종 C++ 0x Standard는 반환 유형에서 함수 이름 앞에 decltype 응용 프로그램의 의미를 변경하지 않습니다. -> decltype(f(c))을 사용하여 매개 변수 목록 다음으로 이동해야합니다. 최종 C++ 0x에서 올바른 작업을 수행 할 수 있습니다.

Answer 2

아니요, decltype은 함수가 const인지 아닌지 여부를 고려하지 않아도됩니다. 같은 다르게 기록 된 수 :

이

typedef decltype(f(c)) return_type; 

return_type get_c() const { return f(c); } 

수정 : decltype(f(c))도 컴파일하지 말아야 c 정적하지 않기 때문에.

Answer 3

f는 lvalue 참조가 아닌 rvalue 참조를 취해야합니다.

Answer 4

정상적으로 호출 할 수없는 것에 decltype을 사용할 수 없다고 생각합니다. 나는 당신이 c를 사용할 수있는 곳이 아닌 곳에 decltype 식 내에서도 c에 액세스 할 수있는 표준을 찾을 수 없었다. 당신이 당신의 일을하려는 시점에 this 포인터가 없으므로, 당신이하려는 일을 할 수 있다고 생각하지 않습니다. 그렇게하는 것은 최소한 MSVC 2010에서는 작동하지 않으며 const와는 아무런 관련이 없습니다.

나는 decllu를 사용하여 하나를 얻는 방법을 고려했지만 A가 불완전한 유형이기 때문에 A & & .c에 액세스 할 수 없습니다. 어쨌든 당신이하려고하는 것을 다음과 같은 것 이외에하려고하는 것을 볼 수 없습니다.

decltype(f(declval<C const>())) get_c() const { ... }