Skip to content

Commit 4d734d2

Browse files
author
y-yamasaki
committed
ブログ追加
1 parent b7a9963 commit 4d734d2

2 files changed

Lines changed: 422 additions & 67 deletions

File tree

Lines changed: 355 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,355 @@
1+
---
2+
title: GoFデザインパターン - シングルトン編
3+
date: 2026-01-16
4+
category: Coding
5+
description:
6+
tags: [Coding, DesignPattern]
7+
recommended: true
8+
thumbnail: assets/img/ogp.png
9+
---
10+
11+
こんにちは!パン君です。
12+
13+
今回は GoF(Gang of Four)のデザインパターンのシングルトン編になります。
14+
サンプルコード(C++)、作り方、使うタイミング、注意点、mermaid図による可視化などを含めて実用的に解説します。
15+
16+
## はじめに
17+
18+
シングルトンはあるクラスのインスタンスがアプリケーション内でただ1つだけ存在することを保証し
19+
その単一インスタンスへのグローバルなアクセス点を提供するためのデザインパターンです。
20+
21+
主なシングルトンの要素としては基本的に下記が満たされているものを差します。
22+
23+
- **コンストラクタがプライベート** : 外部からの直接的なインスタンス生成を防ぐ
24+
- **静的なインスタンス** : クラス内で自身を保持する
25+
- **静的な取得メソッド** : 静的インスタンスを外部に提供する
26+
27+
Wikipedia の定義は下記です
28+
29+
> "ソフトウェア工学において、シングルトンパターンとは、クラスのインスタンス化を「単一」のインスタンスに制限するソフトウェア設計パターンである。"
30+
> (出典: [https://en.wikipedia.org/wiki/Singleton_pattern](https://en.wikipedia.org/wiki/Singleton_pattern)
31+
32+
GoF の観点では オブジェクトの生成とアクセスを制御することで 共有資源(設定、ロガー、接続プールなど)に対して一元的に制御を掛けるためのデザインパターンになっています。
33+
34+
**この記事のゴール**
35+
36+
- C++ における代表的な実装パターンとその利点・欠点を示す
37+
- スレッドセーフな初期化、パフォーマンス、テスト性の観点からの設計上の注意点を説明する
38+
- 代替手段(依存性注入など)とアンチパターンを整理する
39+
40+
**参考となる一次情報(抜粋)**
41+
42+
[!CARD](https://en.wikipedia.org/wiki/Singleton_pattern)
43+
44+
[!CARD](https://en.cppreference.com/w/cpp/language/storage_duration#Static_local_variables)
45+
46+
[!CARD](https://en.cppreference.com/w/cpp/thread/call_once)
47+
48+
以上を根拠に、以降の実装と設計上の解説を行います。
49+
50+
## 代表的なユースケース
51+
52+
- 設定の一元管理
53+
- ロガーインスタンスの共有
54+
- ハードウェアリソース/接続プールなど 唯一のインスタンスで十分なケース
55+
- アプリケーション全域で共有されるキャッシュやファクトリ
56+
57+
ただし、シングルトンはグローバルインスタンスなのでテストしずらくなるケースがあります。
58+
そのため 「 **本当に必要か** 」 「 **グローバルにアクセスを許していい唯一のインスタンスなのか** 」 を常に検討してください。
59+
60+
## C++ 実装パターン
61+
62+
シングルトンパターンにもいくつかのパターンの分類があります。
63+
64+
- Eager Initialization Singleton (即時初期化)
65+
- Lazy Initialization Singleton (遅延初期化)
66+
- Double Checked Locking Singleton (DCL Singleton)(2重チェックロッキング)
67+
- Initialization on Demand Holder (ホルダー初期化)
68+
69+
などなど
70+
71+
以下にいくつかのC++実装を示します。
72+
コードは学習用途に簡潔化しています。
73+
74+
### Eager Singleton実装
75+
76+
Eager Singleton は実装が凄く簡単です。  
77+
ただ下記サンプルコードの場合はコメント記載している通り、プログラム起動時に生成されるためそのフェーズの処理コストは発生します。
78+
シングルトン実装のケースは基本これで耐えうるともいます。
79+
80+
```cpp
81+
// EagerSingleton.h
82+
#pragma once
83+
#include <iostream>
84+
85+
class EagerSingleton {
86+
private:
87+
static EagerSingleton instance; // プログラム起動時に生成される
88+
EagerSingleton() = default;
89+
public:
90+
EagerSingleton(const EagerSingleton&) = delete;
91+
EagerSingleton& operator=(const EagerSingleton&) = delete;
92+
93+
static EagerSingleton& GetInstance() {
94+
return instance;
95+
}
96+
97+
void Say() { std::cout << "EagerSingleton\n"; }
98+
};
99+
100+
// EagerSingleton.cpp
101+
EagerSingleton EagerSingleton::instance; // instance の定義が必要
102+
```
103+
104+
### Lazy Singleton実装
105+
106+
Lazy Singleton は mutex でスレッドセーフなシングルトンパターンです。
107+
C++でこれを実現するには 取得の度にロックコストが発生するためパフォーマンスへの懸念があります。
108+
下記2点どちらかがあるなら実装方向で進めるべきかもしれません。
109+
110+
- パフォーマンス削ってもいい
111+
- 使用言語によっては懸念にならない
112+
113+
```cpp
114+
// LazySingleton.h
115+
#pragma once
116+
#include <mutex>
117+
#include <memory>
118+
119+
class LazySingleton {
120+
private:
121+
static std::mutex mtx;
122+
static LazySingleton* instance;
123+
LazySingleton() = default;
124+
public:
125+
LazySingleton(const LazySingleton&) = delete;
126+
LazySingleton& operator=(const LazySingleton&) = delete;
127+
128+
static LazySingleton* GetInstance() {
129+
std::lock_guard<std::mutex> Lock(mtx);
130+
if (!instance) instance = new LazySingleton();
131+
return instance;
132+
}
133+
134+
void Say();
135+
};
136+
137+
// LazySingleton.cpp
138+
std::mutex LazySingleton::mtx;
139+
LazySingleton* LazySingleton::instance = nullptr;
140+
```
141+
142+
### Meyers' Singleton実装
143+
144+
Meyers' Singleton は簡潔で軽く説明するとインスタンスの配置場所が下記の違いがあります
145+
146+
- **Eager Singleton** : クラスメンバーに変数配置
147+
- **Meyers' Singleton** : 静的取得関数にローカルで変数配置
148+
149+
C++11以降では 静的局所変数の初期化 はスレッドセーフであるため C++では **Eager Singleton** より推奨される実装方法です
150+
151+
[!CARD](https://en.cppreference.com/w/cpp/language/storage_duration#Static_local_variables)
152+
153+
```cpp
154+
// MeyersSingleton.h
155+
#pragma once
156+
#include <iostream>
157+
158+
class MeyersSingleton {
159+
private:
160+
MeyersSingleton() { }
161+
public:
162+
MeyersSingleton(const MeyersSingleton&) = delete;
163+
MeyersSingleton& operator=(const MeyersSingleton&) = delete;
164+
165+
static MeyersSingleton& GetInstance() {
166+
static MeyersSingleton instance; // C++11以降でスレッド安全に初期化される
167+
return instance;
168+
}
169+
170+
void Say() { std::cout << "MeyersSingleton\n"; }
171+
};
172+
```
173+
174+
### `std::call_once` を使った Lazy Singleton実装
175+
176+
これは複雑な初期化が必要な場合に明示的で安全な手段です
177+
実装工数と可読性的に使用頻度はすくないかもですが
178+
179+
[!CARD](https://en.cppreference.com/w/cpp/thread/call_once)
180+
181+
```cpp
182+
// CallOnceSingleton.h
183+
#pragma once
184+
#include <mutex>
185+
#include <memory>
186+
187+
class CallOnceSingleton {
188+
private:
189+
static std::unique_ptr<CallOnceSingleton> instance;
190+
static std::once_flag initFlag;
191+
CallOnceSingleton() = default;
192+
193+
static void Init() {
194+
instance.reset(new CallOnceSingleton());
195+
}
196+
public:
197+
CallOnceSingleton(const CallOnceSingleton&) = delete;
198+
CallOnceSingleton& operator=(const CallOnceSingleton&) = delete;
199+
200+
static CallOnceSingleton& GetInstance() {
201+
std::call_once(initFlag, &CallOnceSingleton::Init);
202+
return *instance;
203+
}
204+
205+
void Say();
206+
};
207+
208+
// CallOnceSingleton.cpp
209+
std::unique_ptr<CallOnceSingleton> CallOnceSingleton::instance;
210+
std::once_flag CallOnceSingleton::initFlag;
211+
```
212+
213+
### C++のシングルトンパターンの応用
214+
215+
パターンの説明とは違いますが、このデザインパターンの基本を理解したうえで使用すると様々な応用が可能です。
216+
よくある応用ケースですが雑にいくつか紹介してみます。
217+
どうやったらより良くできるか等、思考錯誤できるようがんばってください。
218+
219+
**Template Eager Singleton**
220+
これだとシングルトンパターンを毎回実装する必要がなくなります
221+
その代わり Foo.h を見た時にシングルトンかどうか判断は出来なくなるので可読性が上がっているようで、下がっているようにも見れます
222+
※「じゃあどうよう」に対する改善は是非チャレンジしてみてください!
223+
224+
```cpp
225+
// TemplateEagerSingleton.h
226+
#pragma once
227+
#include <iostream>
228+
229+
template<typename T>
230+
class TemplateEagerSingleton {
231+
private:
232+
static T instance; // プログラム起動時に生成される
233+
TemplateEagerSingleton() = delete;
234+
public:
235+
TemplateEagerSingleton(const TemplateEagerSingleton&) = delete;
236+
TemplateEagerSingleton& operator=(const TemplateEagerSingleton&) = delete;
237+
238+
static T& GetInstance() {
239+
return instance;
240+
}
241+
};
242+
243+
// static メンバの定義(テンプレートなのでヘッダ内に置く)
244+
template<typename T>
245+
T TemplateEagerSingleton<T>::instance;
246+
247+
// Foo.h
248+
struct Foo {
249+
void Say() { std::cout << "TemplateEagerSingleton MyService\n"; }
250+
};
251+
252+
// other.cpp
253+
auto& foo = TemplateEagerSingleton<Foo>::GetInstance();
254+
foo.Say();
255+
```
256+
257+
**Multi Instance Eager Singleton**
258+
259+
260+
261+
```cpp
262+
// MultiInstanceEagerSingleton.h
263+
#pragma once
264+
#include <array>
265+
#include <iostream>
266+
#include <cstddef>
267+
#include <cassert>
268+
269+
class MultiInstanceEagerSingleton {
270+
private:
271+
static constexpr std::size_t COUNT = 3;
272+
static std::array<MultiInstanceEagerSingleton, COUNT> instances; // プログラム起動時に複数生成される
273+
int id_;
274+
MultiInstanceEagerSingleton(int id = 0) : id_(id) {}
275+
public:
276+
MultiInstanceEagerSingleton(const MultiInstanceEagerSingleton&) = delete;
277+
MultiInstanceEagerSingleton& operator=(const MultiInstanceEagerSingleton&) = delete;
278+
279+
// index を指定して複数インスタンスへアクセスする
280+
static MultiInstanceEagerSingleton& GetInstance(std::size_t index) {
281+
assert(index < COUNT && "index out of range");
282+
return instances[index];
283+
}
284+
285+
void Say() { std::cout << "MultiInstanceEagerSingleton id=" << id_ << '\n'; }
286+
};
287+
288+
// MultiInstanceEagerSingleton.cpp
289+
#include "MultiInstanceEagerSingleton.h"
290+
291+
// 静的メンバの定義(プログラム起動時に COUNT 個のインスタンスが生成される)
292+
std::array<MultiInstanceEagerSingleton, MultiInstanceEagerSingleton::COUNT> MultiInstanceEagerSingleton::instances = {
293+
MultiInstanceEagerSingleton(0),
294+
MultiInstanceEagerSingleton(1),
295+
MultiInstanceEagerSingleton(2)
296+
};
297+
298+
// other.cpp
299+
// 使用例
300+
// auto& s0 = MultiInstanceEagerSingleton::GetInstance(0);
301+
// s0.Say();
302+
// auto& s1 = MultiInstanceEagerSingleton::GetInstance(1);
303+
// s1.Say();
304+
```
305+
306+
## 使用するタイミングと代替アプローチ
307+
308+
シングルトンを採用する前に次の点を検討してください
309+
310+
- 本当に 「**1つだけのインスタンス**」 である必要があるか
311+
- テストでインスタンスを差し替えたいか
312+
- マルチスレッド環境での初期化の安全性は確保されているか
313+
314+
代替案は下記です
315+
316+
- **依存性注入(Dependency Injection)** : 呼び出し側に依存オブジェクトを渡すことで、テスト時にモックやスタブと差し替えやすくなる
317+
- **ファクトリ/サービスロケータ** : 柔軟性を高める手段。 ただし、後者はグローバル依存を隠蔽するため注意が必要
318+
- **モジュール単位のシングルトン** : C++では オブジェクトをモジュール(名前空間/翻訳単位)で管理する ことで十分な場合がある
319+
320+
## テストのしやすさ
321+
322+
シングルトンはグローバル状態を持つため、ユニットテストでは状態のリセットや並列テストへの影響に注意が必要です
323+
324+
対処例は下記です。
325+
326+
- テスト専用の初期化/破棄 API を用意する
327+
- 可能ならコンストラクションを外部から提供し、テスト時はモックを注入する
328+
- Meyers' Singleton のような関数内静的変数はプロセス終了まで生きるため、走行中に状態を戻すのが難しい
329+
330+
## アンチパターンとよくある落とし穴
331+
332+
- **過剰な使用** : 単に「使い回したい」という理由で乱用すると、コードの結合度が高くなる
333+
- **グローバル状態化** : 隠れた依存関係が増え、テストやリファクタリングが困難になる
334+
- **ライフサイクル管理の不明確さ** : プログラム終了時のリソース解放や順序問題、静的オブジェクト同士の依存関係に注意
335+
336+
## まとめ
337+
338+
- シングルトンは「ただ1つのインスタンス」を保証する便利なパターンだが、設計上のトレードオフを必ず考慮する必要があります
339+
- C++ では C++11 以降の関数内静的変数(Meyers')がお手軽で安全な実装方法の一つである
340+
- 明示的な制御が必要な場合は `std::call_once` を使うと良い
341+
- 大規模なシステムやテスト性が重視されるシステムでは、依存性注入やファクトリなどの手法を検討することを推奨する
342+
343+
参考・出典を記します
344+
345+
[!CARD](https://en.wikipedia.org/wiki/Singleton_pattern)
346+
347+
[!CARD](https://en.cppreference.com/w/cpp/language/storage_duration#Static_local_variables)
348+
349+
[!CARD](https://en.cppreference.com/w/cpp/thread/call_once)
350+
351+
それでは、次回は別の GoF パターンについても解説していきます。
352+
この記事で紹介した実装は学習目的に簡潔化しています。
353+
実プロダクションで採用する際は要件に合わせて十分に検討してください
354+
355+
以上、パン君でした!

0 commit comments

Comments
 (0)