std::is_void상태에 대한 설명 :
T가 void, const void, volatile void 또는 const volatile void 형식 인 경우 true와 동일한 멤버 상수 값을 제공합니다 .
그런 다음 무엇을 할 수있는 const void, 또는 volatile void?
이 답변 은 const void반환 유형이 유효하지 않을 것이라고 말합니다 (그러나 VC ++ 2015에서 컴파일됩니다)
const void foo() { }
표준에 따라 const void유효하지 않은 경우 (VC가 잘못됨)-다음은 무엇 const void입니까?
void
답변:
const void포인터를 형성 할 수있는 유형입니다. 일반적인 void 포인터와 비슷하지만 변환은 다르게 작동합니다. 예를 들어 a const int*는으로 암시 적으로 변환 될 수 없지만 암시 적 void*으로 const void*. 당신이있는 경우 마찬가지로, const void*당신은 할 수 없습니다 static_cast그것이로 int*,하지만 당신은 할 수 static_cast그것으로 const int*.
const int i = 10;
void* vp = &i; // error
const void* cvp = &i; // ok
auto ip = static_cast<int*>(cvp); // error
auto cip = static_cast<const int*>(cvp); // ok
const void하지는 않지만 모든 주변의 void 및 non-void 포인터 [with (non-) const-ness]를 사용합니다.
const void*는 당신이 볼 수있는 유일한 이유 const void입니다. 템플릿 인수로 전달 될 수 있지만 해당 인수 유형은 *끝에 있는로만 인스턴스화됩니다 .
const void에 질문 언어 변호사에 의해 요청
const voidC ++의 모든 유형을 만들 수 있다는 것 const입니다. 존재하는 것과 동일한 방식으로 "존재" void합니다. @Benjamin Lindley의 답변은 그것이 무엇인지, 그리고 그것을 어떻게 사용하는지 설명합니다.
로 void, const void빈 공간 유형입니다. 그러나 const voidA는 반환 타입의이 const(! 법적이기는하지만) 의미는, 때문에 [EXPR] / 6 :
prvalue가 처음에 " cv
T" 유형을 갖는 경우 , 여기서Tcv-unqualified non-class, non-array 유형은T추가 분석 전에 표현식 유형이 조정됩니다 .
그러나 이것은 유효한 유형 자체이며 예를 들어 C 표준 라이브러리 함수 에서 발생합니다. 여기서 인수 포인터의 const 정확성을 보장하는 데 사용됩니다 : int const*는으로 변환 할 수 void*없지만 void const*.
const void반환 유형은 함수 유형에 영향을 미치므로 완전히 의미가 없습니다.
void없이는 어떤 혜택도 제공하지 않는다"는 뜻const입니다.