固有性を持つ最短の表現。
s_T
}{n::}{s::}{整合的}{s_T()}{単純型}{n()}{希哲14年1月13日の進捗時限}(27)途中で終了。
もともと,名称空間を切り分けやすくしたい,ADL を効率的に利用するために foo_T を foo:: 以下に入れ,冗長性は use で解決するという方法を取っていたが,これはいまだに有用であるため,据え置くことにした。
一方,これに合わせて foo/ に foo.cl.h を入れる,というような方法は煩雑さの方が大きいため,廃止することにした。これは定義位置ではなく,通称を基準に考えることで整合性を取る。既存の譜類は順次移動させる。
foo:: と foo() が衝突する問題をどう回避するかという課題は Cμ 初期からずっと残っているが,今のところそれほど大きな障害にはなっていないため解決は急がないことにした。
C++ は参照内容によって foo が名称空間か函数か解決してくれるような気の効いた仕組みにはなっていないため,foo を名称空間として利用するか函数として利用するかは設計の問題と考えるしかないかもしれない。
これまで,数値への変換は n() で,文字列への変換は s_T() で行うことが多く,整合的ではない気がしていたが,よく考えると単純型と複合型の使い分けとして合理的だったのかもしれない。s_T には s:: があった方がいいが,n:: の必要性は感じたことがない。