Translation-unit-local entities (since C++20)

// TU-로컬 제약 조건이 없는 모듈 유닛
export module Foo;
import <iostream>;
namespace
{
   class LolWatchThis {        // 내부 링크, export 불가
       static void say_hello()
       {
           std::cout << "Hello, everyone!\n";
       }
   };
}
export LolWatchThis lolwut() { // LolWatchThis가 반환 타입으로 노출됨
    return LolWatchThis();
}

// main.cpp
import Foo;
int main()
{
    auto evil = lolwut();        // 'evil'은 'LolWatchThis' 타입을 가짐
    decltype(evil)::say_hello(); // 'LolWatchThis'의 정의가 더 이상 내부적이지 않음
}

// 내부 링크지를 갖는 TU-로컬 엔티티들
namespace { // 이름 없는 네임스페이스 내에 선언된 모든 이름들은 내부 링크지를 가짐
    int tul_var = 1;                          // TU-로컬 변수
    int tul_func() { return 1; }              // TU-로컬 함수
    struct tul_type { int mem; };             // TU-로컬 (클래스) 타입
}
template<typename T>
static int tul_func_temp() { return 1; }      // TU-로컬 템플릿
// TU-로컬 템플릿 특수화
template<>
static int tul_func_temp<int>() { return 3; } // TU-로컬 특수화
// TU-로컬 템플릿 인자를 사용하는 템플릿 특수화
template <> struct std::hash<tul_type> {      // TU-로컬 특수화
    std::size_t operator()(const tul_type& t) const { return 4u; }
};

static int tul_var = 1;             // TU-지역 변수
static int tul_func() { return 1; } // TU-지역 함수
int* tul_var_ptr = &tul_var;        // TU-지역: TU-지역 변수에 대한 포인터
int (* tul_func_ptr)() = &tul_func; // TU-지역: TU-지역 함수에 대한 포인터
constexpr static int tul_const = 1; // 상수 표현식에서 사용 가능한 TU-지역 변수
int tul_arr[] = { tul_const };      // TU-지역: constexpr TU-지역 객체의 배열
struct tul_class { int mem; };
tul_class tul_obj{tul_const};       // TU-지역: constexpr TU-지역 객체를 멤버로 가짐

// 람다 명명
auto x = [] {}; // decltype(x)를 명명함
// 비함수 (템플릿) 명명
int y1 = 1;                      // y1을 명명함 (id-expression)
struct y2 { int mem; };
y2 y2_obj{1};                    // y2를 명명함 (type-specifier)
struct y3 { int mem_func(); };
int y3::mem_func() { return 0; } // y3을 명명함 (nested-name-specifier)
template<typename T> int y4 = 1;
int var = y4<y2>;                // y4를 명명함 (template-name)
template<typename T> concept y5 = true;
template<typename T> void func(T&&) requires y5<T>; // y5를 명명함 (concept-name)
// 함수 (템플릿) 명명
int z1(int arg)    { std::cout << "no overload"; return 0; }
int z2(int arg)    { std::cout << "overload 1";  return 1; }
int z2(double arg) { std::cout << "overload 2";  return 2; }
int val1 = z1(0); // z1을 명명함
int val2 = z2(0); // z2를 명명함 ( int z2(int) )

export module A;
static void f() {}
inline void it() { f(); }         // 오류: f의 노출입니다
static inline void its() { f(); } // OK
template<int> void g() { its(); } // OK
template void g<0>();
decltype(f) *fp;                             // 오류: f(그 타입은 아니지만)는 TU-로컬입니다
auto &fr = f;                                // OK
constexpr auto &fr2 = fr;                    // 오류: f의 노출입니다
constexpr static auto fp2 = fr;              // OK
struct S { void (&ref)(); } s{f};            // OK: 값은 TU-로컬입니다
constexpr extern struct W { S &s; } wrap{s}; // OK: 값은 TU-로컬이 아닙니다
static auto x = []{ f(); }; // OK
auto x2 = x;                // 오류: 클로저 타입이 TU-로컬입니다
int y = ([]{ f(); }(), 0);  // 오류: 클로저 타입이 TU-로컬이 아닙니다
int y2 = (x, 0);            // OK
namespace N
{
    struct A {};
    void adl(A);
    static void adl(int);
}
void adl(double);
inline void h(auto x) { adl(x); } // OK, 하지만 특수화는 노출이 될 수 있습니다

module A;
void other()
{
    g<0>();                  // OK: 명시적으로 인스턴스화된 특수화
    g<1>();                  // 오류: 인스턴스화가 TU-로컬 its를 사용함
    h(N::A{});               // 오류: 오버로드 집합에 TU-로컬 N::adl(int)가 포함됨
    h(0);                    // OK: adl(double) 호출
    adl(N::A{});             // OK; N::adl(int)를 찾을 수 없음, N::adl(N::A) 호출
    fr();                    // OK: f 호출
    constexpr auto ptr = fr; // 오류: fr은 여기서 상수 표현식에서 사용할 수 없음
}