完全コンストラクタの設計パターン|意味・実装・注意点を解説！

1
public class User {
2
    private final String name;
3
    private final int age;
4

5
    // 完全コンストラクタ
6
    public User(String name, int age) {
7
        if (name == null || name.isEmpty()) {
8
            throw new IllegalArgumentException("name is required"); // ガード節
9
        }
10
        if (age < 0) {
11
            throw new IllegalArgumentException("age must be non-negative"); // ガード節
12
        }
13
        this.name = name;
14
        this.age = age;
15
    }
16

17
    // ゲッター
18
    public String getName() {
19
        return name;
20
    }
21

22
    public int getAge() {
23
        return age;
24
    }
25
}

1
public class Main {
2
    public static void main(String[] args) {
3
        System.out.println("=== User クラスの検証 ===");
4

5
        // 正常系
6
        try {
7
            User user = new User("Alice", 30);
8
            System.out.println("正常系: OK");
9
            System.out.println("名前: " + user.getName() + ", 年齢: " + user.getAge());
10
        } catch (Exception e) {
11
            System.out.println("正常系: 失敗 - " + e.getMessage());
12
        }
13

14
        // 異常系：name が null
15
        try {
16
            User user = new User(null, 25);
17
            System.out.println("異常系（null name）: 失敗（例外が発生しなかった）");
18
        } catch (IllegalArgumentException e) {
19
            System.out.println("異常系（null name）: OK - " + e.getMessage());
20
        }
21

22
        // 異常系：name が空文字
23
        try {
24
            User user = new User("", 25);
25
            System.out.println("異常系（空文字 name）: 失敗（例外が発生しなかった）");
26
        } catch (IllegalArgumentException e) {
27
            System.out.println("異常系（空文字 name）: OK - " + e.getMessage());
28
        }
29

30
        // 異常系：age が負数
31
        try {
32
            User user = new User("Bob", -5);
33
            System.out.println("異常系（負の age）: 失敗（例外が発生しなかった）");
34
        } catch (IllegalArgumentException e) {
35
            System.out.println("異常系（負の age）: OK - " + e.getMessage());
36
        }
37
    }
38
}

1
class User:
2
    def __init__(self, name: str, age: int):
3
        if not name:
4
            raise ValueError("name is required")  # ガード節
5
        if age < 0:
6
            raise ValueError("age must be non-negative")  # ガード節
7

8
        self.name = name
9
        self.age = age
10

11
    def get_name(self) -> str:
12
        return self.name
13

14
    def get_age(self) -> int:
15
        return self.age

1
if __name__ == "__main__":
2
    print("=== User クラスの検証 ===")
3
    # 正常系
4
    try:
5
        user = User(name="Alice", age=30)
6
        print("正常系: OK")
7
        print(f"名前: {user.get_name()}, 年齢: {user.get_age()}")
8
    except Exception as e:
9
        print("正常系: 失敗", e)
10

11
    # 異常系: nameが空文字
12
    try:
13
        user = User(name="", age=25)
14
        print("異常系: 失敗（nameが空なのに例外が発生しない）")
15
    except ValueError as e:
16
        print("異常系（name）: OK -", e)
17

18
    # 異常系: ageが負数
19
    try:
20
        user = User(name="Bob", age=-5)
21
        print("異常系: 失敗（ageが負なのに例外が発生しない）")
22
    except ValueError as e:
23
        print("異常系（age）: OK -", e)

1
from dataclasses import dataclass
2

3
@dataclass(frozen=True)
4
class User:
5
    name: str
6
    age: int

1
if __name__ == "__main__":
2
    print("=== User(dataclass, frozen=True) クラスの検証 ===")
3

4
    # 正常なインスタンス生成
5
    try:
6
        user = User(name="Alice", age=30)
7
        print("インスタンス生成: OK")
8
        print(f"名前: {user.name}, 年齢: {user.age}")
9
    except Exception as e:
10
        print("インスタンス生成: 失敗", e)
11

12
    # フィールドの変更を試みる（イミュータブル検証）
13
    try:
14
        user.name = "Bob"  # ここで例外が出るはず
15
        print("フィールド変更: 失敗（変更できてしまった）")
16
    except Exception as e:
17
        print("フィールド変更防止: OK -", e)
18

19
    # フィールドの直接操作（__dict__など）も防止されているか確認（オプション）
20
    try:
21
        user.__dict__["age"] = 99
22
        print("__dict__ 経由の変更: 失敗（変更できてしまった）")
23
    except Exception as e:
24
        print("__dict__ 経由の変更防止: OK -", e)