Czy mój typ zwrotu musi być zdefiniowany?

Question

Forward declaration pozwala nam odłożyć definiowanie rzeczywistego typu do pliku implementacji. Jest to dozwolone w nagłówku dla wskaźników lub odniesień do zadeklarowanego typu forward.

I have been told że:

Zwracanie wartości przez nie wymaga definicji typu. Zgłoszenie do przekazania jest wystarczające

Czy ktoś może potwierdzić lub odrzucić to z faktycznym cytatem ze standardu? Miałem wrażenie, że to nie jest legalne.

Answer 1

Powracanie według wartości nie wymaga definicji typu. Deklaracja przekazania jest wystarczająca

Zgłaszanie funkcji zwracającej wartość nie wymaga definicji typu. Dobrze utworzone demo:

struct S; 
S foo(); 
struct S {}; 
int main() { 
    foo(); 
} 
S foo() {} 

Definiowanie lub wywoływanie funkcji zwracającej wartość wymaga definicji typu. Standardowy projekt [basic.def.odr]:

5 Dokładnie definicja klasy jest wymagane w jednostce tłumaczeniowej jeśli klasa jest używana w sposób wymagający typ klasy jest kompletna. [Przykład: ... [wycinanie] ... [Uwaga: Reguły deklaracji i wyrażeń opisują, w jakich kontekstach wymagane są pełne typy klas. typu klasy T musi być kompletna, jeśli:

• [ciach]
• 5,9 funkcja z rodzaju powrotnego lub typu argumentu typu T określone ([basic.def]) albo jako ([wyrażenie .Połączenia]) lub
• [ciach]

zgłoszenie funkcja o niepełnej typu powrotnym pośrednio pozostawiono mocy nie zostanie zakazane przez jedną z zasad w liście.

Zasadą jest ponownie sformułowane w dalszej części standard, i możliwe jest rozluźniony wyjątkiem [dcl.fct] (dzięki @cpplearner za wskazanie tego wykluczyć):

11 Rodzaje nie określa się powrót bądź typy parametrów. Typ parametru lub typ zwracany dla definicji funkcji nie może być niekompletnym (prawdopodobnie kwalifikowanym w Cv) typem klasy w kontekście definicji funkcji, chyba że funkcja zostanie usunięta ([dcl.fct.def.delete]).

---

Źle uformowane demo:

struct S; 
S foo(){} // oops 
struct S {}; 

Innym źle sformułowane demo:

struct S; 
S foo(); 
int main() { 
    foo(); // oops 
} 
struct S {}; 
S foo() {}