[C++] モジュールへの移行を考える 4 - 単一ヘッダファイル+複数ソースファイル

/// mylib.h

namespace mylib {

  class S {
    int m_num = 0;
  public:

    S();
    S(int n);

    int get() const;
  };

  void print_S(const S& s);
}

/// mylib1.cpp

#include "mylib.h"

namespace mylib {

  S::S() = default;
  S::S(int n) : m_num{n} {}

  inline int S::get() const {
    return this->m_num;
  }
}

/// mylib2.cpp

#include <iostream>
#include "mylib.h"

namespace mylib {

  void print_S(const S& s) {
    std::cout << s.get() << std::endl;
  }
}

/// mylib.ixx

// mulibモジュールのインターフェース単位
export module mylib;

namespace mylib {

  // クラスのエクスポート、暗黙に全メンバがエクスポートされる
  export class S {
    int m_num = 0;
  public:

    S();
    S(int n);

    int get() const;
  };

  // フリー関数のエクスポート
  export void print_S(const S& s);
}

/// mylib1.cpp

// mulibモジュールの実装パーティション1
module mylib:part1;

// インターフェースのインポート
import mylib;

namespace mylib {

  S::S() = default;
  S::S(int n) : m_num{n} {}

  inline int S::get() const {
    return this->m_num;
  }
}

/// mylib2.cpp

module; // グローバルモジュールフラグメント

// #includeはグローバルモジュールフラグメント内で行う
#include <iostream>

// mulibモジュールの実装パーティション2
module mylib:part2;

// インターフェースのインポート
import mylib;

namespace mylib {

  void print_S(const S& s) {
    std::cout << s.get() << std::endl;
  }
}

// モジュール実装パーティションの宣言
module mylib:part1;
module mylib:part2;

// モジュール実装単位の宣言
module mylib;

/// mylib1.cpp

// mulibモジュールの実装単位
module mylib;

namespace mylib {

  S::S() = default;
  S::S(int n) : m_num{n} {}

  inline int S::get() const {
    return this->m_num;
  }
}

/// mylib2.cpp

module; // グローバルモジュールフラグメント

// #includeはグローバルモジュールフラグメント内で行う
#include <iostream>

// mulibモジュールの実装単位
module mylib;

namespace mylib {

  void print_S(const S& s) {
    std::cout << s.get() << std::endl;
  }
}

import mylib; // mylibモジュールのインポート宣言

int main() {
  mylib::S s1{};
  mylib::S s2{20};
  
  mylib::print_S(s1); // 0
  mylib::print_S(s2); // 20
}