Czy wszystko po wyeksportowaniu przestrzeni nazw nie jest eksportowane?

Question

czytałem o modułach i chciałem zrobić coś takiego:

a.cpp

module foo.a; 

export namespace foo { 
    struct A { 
     void doA(); 
    }; 
} 

import foo.b; 
void foo::A::doA() { 
    B{}.doB(); 
} 

b.cpp

module foo.b; 

export namespace foo { 
    struct B { 
     void doB(); 
     void start(); 
    }; 
} 

import foo.a; 
import std.io; 
void foo::B::doB() { 
    std::cout << "Stuff done!" << std::endl; 
} 

void foo::B::start() { 
    A{}.doA(); 
} 

main.cpp

import foo.b; 

int main() { 
    foo::B{}.start(); 
} 

Ponieważ interfejsy modułów nie mogą używać się nawzajem, aby to działało, wszystko po wyeksportowaniu ed przestrzeń nazw nie może być częścią interfejsu. Czy powyższe informacje są prawidłowe zgodnie z aktualnymi TS? W przypadku zależności cyklicznej w implementacji wymagane jest podzielenie jej na inny plik?

Answer 1

Z Working Draft, Extensions to C++ for Modules (znajdujący się w Experimental C++ Features), strona 13, §10.7.2 3:

Moduł M1 ma zależność interfejsu, modułu M2 jeżeli moduł interfejs M1 zawiera moduł -import-deklaracja nominująca M2. Moduł nie może mieć zależności interfejsu przechodniego od siebie.

Przykład:

// Interface unit of M1 
export module M1; 
import M2; 
export struct A { }; 

// Interface unit of M2 
export module M2; 
import M3; 

// Interface unit of M3 
export module M3; 
import M1; // error: cyclic interface dependency M3 -> M1 -> M2 -> M3 

---

Q: "Na okrągłej uzależnienia w realizacji, jest to konieczne, aby podzielić go do innego pliku"

O: Tak.

---

P: "Czy powyższe informacje odpowiadają aktualnym TS?"

A: Nie.

W kodzie masz błąd, ponieważ foo.a i foo.b tworzą cykliczną zależność interfejs.

Answer 2

Tak, musisz użyć oddzielnego pliku implementacji dla co najmniej jednego z modułów (ten, który jest koncepcyjnie "niższy poziom"). W PDTS'S [dcl.module.import]/3 mówi

Moduł M1 ma zależność interfejsu na module M2 czy interfejs moduł M1 zawiera modułowy import zgłoszenia mianowanie M2 . Moduł nie może mieć zależności interfejsu przechodniego od siebie.

ta obowiązuje niezależnie od położenia modułu-Import-deklaracji, ponieważ export może pojawić się wszędzie i wielokrotnie w jednostce Interface Module. Reguła ma zapobiegać pojawianiu się typów i szablonów z każdego z dwóch modułów w interfejsie drugiego, ponieważ wtedy nie można zaimportować "pierwszego".