C++にてヘッダファイルオンリーで型安全な定数を定義したい

C++にてヘッダファイルMyLib.hをincludeするだけで使用できることを前提としたライブラリを制作しています．
とある定数MyConstantを提供したいのですが，次の制約があるため#defineを用いることができません．

MyConstantはMyType型である．
MyConstantはリテラル型の値で初期化される．
型安全を保障したい．
異なる翻訳単位間で&MyConstantの同一性を保証したい．

参考にするためにVisual C++ 2015にてstd::coutなどがどう実装されているかヘッダファイルを遡って検索してみましたが，以下のようにextern宣言されていました．

cpp
1//...
2__PURE_APPDOMAIN_GLOBAL extern istream cin, *_Ptr_cin;
3__PURE_APPDOMAIN_GLOBAL extern ostream cout, *_Ptr_cout;
4__PURE_APPDOMAIN_GLOBAL extern ostream cerr, *_Ptr_cerr;
5__PURE_APPDOMAIN_GLOBAL extern ostream clog, *_Ptr_clog;
6//...

MyLib.hにextern MyType MyConstant;と宣言してもどこかの翻訳単位で明確に定義する必要が出てきてしまいます．
どのように実装すればよろしいでしょうか？

行動規範の内容に同意します

回答3件

ベストアンサー

こんにちは。

ちょっと大掛かりな感じになりますが、シングルトン・パターンを使えばできると思います。
マクロを使って定義部のコード量を減らせば可読性はどうにか維持できると思います。

他に、VC++限定でよければ、selectanyで定義することも考えられます。

投稿2016/07/12 04:41

編集2016/07/12 04:41

Chironian

総合スコア23272

wqwqw

2016/07/12 05:17

できればシングルトンによってではなく飽くまで`MyType`型で実現したかったのと，処理系依存の方法は使いたくなかったのですが，VC++でselectanyが存在するということは一般的には解決方法がないという結論に達しました．シングルトンパターンを利用することにします．ありがとうございました．

Chironian

2016/07/12 05:38

MyType const& MyConstant::get();で取り出せるようにしておけば、出てくるものはMyTypeにできますよ。下記のようなイメージになると思います。 class MyConstant { 　　MyType const Constant; 　　MyType() : Constant(リテラル値) { } 　　コピー／ムーブ禁止コード; public: 　　MyType const& get() const 　　{ 　　　　static MyConstant instant; 　　　　return instant.Constant; 　　} }; マクロ等で短縮しないと、定義が見にくいですね。リテラル値が非型パラメータに指定できないような型の場合、クラス・テンプレートで短縮するのは苦労しそうです。(バッと考える限りではできないかも?)

行動規範の内容に同意します