불완전한 유형

Question

값합니다 (-std=c++17 -Wall -Wextra -Werror -pedantic-errors -O0 컴파일 플래그) 코드 compiles successfully both with clang++ 5.0.0 and g++ 7.2 다음

struct Foo; 

struct Bar 
{ 
    Foo get() const; 

    void set(Foo); 
}; 

struct Foo 
{ 
}; 

Foo Bar::get() const 
{ 
    return {}; 
} 

void Bar::set(Foo) 
{ 
} 


int main() 
{ 
    Bar bar{}; 

    (void)bar.get(); 
    bar.set(Foo{}); 
} 

는 함수 매개 변수로 불완전한 유형을 사용하고 값을 반환하는 유효한가요? C++이 뭐라고 말합니까? 함수에서

Answer 1

정의, 당신은 불완전한 유형 사용할 수 없습니다 불완전한 (아마도 이력서 restrict로지지 않습니다

매개 변수 또는 함수 정의에 대한 반환 형식의 유형 : [dcl.fct]/12를) 클래스 형식을 함수 정의 컨텍스트에서 삭제해야합니다.

하지만 함수 선언은 그러한 제한이 없다. 당신이 Bar::get과 Bar::set을 정의 할 때, Foo은 완전한 타입이므로, 프로그램은 괜찮습니다.

Answer 2

함수 매개 변수와 반환 값으로 불완전한 유형을 사용하는 것이 유효합니까? C++이 뭐라고 말합니까?

함수 선언에서 유효합니다.

[basic.def.odr]은 유형을 완료해야하는 상황을 나열합니다. 이 목록에는 함수 선언에 대한 언급이 없습니다. 함수 정의에는 T의 인수 및 반환 유형에 대해 T에 대한 정의가 필요합니다.

Answer 3

지금까지 내가 아는 한, 당신은 다음과 같은 방법으로 불완전한 유형 사용할 수 있습니다 포인터로

1. 을;
2. 참조;

함수의 선언은 어떤 개체도 만들지 않으므로 합법적입니다.