std::initializer_listは自作可能か?

Question

自分でinitializer_listを作りたいのですが、そもそも自作は可能なのですか？もちろん機械語やアセンブリから書けば可能なのかもしれませんが、そういうことではなくて、c++でかけるかということです。頑張っていろいろ試行錯誤して書いてみましたが、このソースでは、initializer_listを仮引数にして初期化子リストを受け取れないのでinitializer_listではありません。include/initializer_listを見ましたが「なぜこれでこんな動作をするのか」と不思議に思うばかりです。もし自作が可能なのであればヒント(答え)を教えてください。
gcc バージョン8.2.0

//size(), begin()などは省略
template <class E> class _initializer_list{
	const E *data;
	size_t len;

	template <class T> void init(const E &ob) noexcept {data = &ob - len++;}
	template <class... T> void init(const E &n, const T&... arg) noexcept {
		len++;
		init<E>(arg...);
	}
public:
	constexpr _initializer_list() noexcept : data(NULL), len(0){}
	constexpr _initializer_list(const E &n) noexcept : data(&n), len(1){}
	template <class... T>
		_initializer_list(const T&... ob) noexcept : len(0) {init<E>(ob...);}

};

#include<initializer_list>

int main(){
	std::initializer_list<int> a(1, 2, 3);	//コンパイルエラー
	_initializer_list<int> b(1, 2, 3);	//コンパイルエラーにはならないが動作がおかしい。コンパイルエラーになるようにするか、これでも初期化可能にしたい。
	
	std::initializer_list<int> c = {1, 2, 3);	//正常
	_initializer_list<int> d = {1, 2, 3};	//これは正常

	std::initializer_list<int> e;
	e = {1, 2, 3};	//正常

	_initializer_list<int> f;
	f = {1, 2, 3};	//コンパイルエラー、代入演算子のオーバーロードをしたいが「仮引数は1つでなければならない」と言われ、できない

	samp(stdのやつ) ob1 = {1, 2, 3};	//これをするためにstd::initializer_listがある
	samp(作ったやつ) ob2 = {1, 2, 3};	//「samp(int, int, int)は無い」と言われる、これの直し方が一番知りたい。
}
struct samp{
	samp(std::initializer_list<int> &ils){/***/}	//正常
	samp(_initializer_list<int> &ils){/***/}	//「samp(int, int, int)は無い」と言われる
};

※追記
私はtype ob = {1, 2, 3};とtype ob(1, 2, 3);の違いを理解していません。

Comments

[nskydiving]

「include/initializer_listを見ましたが」というのは「initializer_listのソースコードを見た」という意味ですか？
もしそうであれば、それが答えになると思いますが？

Answer 1

そもそも自作は可能なのですか？

自作はできないようです。std::initializer_listは、コンパイラが認識する特別な引数型とのことです。
（N2215 Initializer lists (Rev. 3)より）

コンパイラは、例えば、

struct X {
  X(std::initializer_list<double> v);
};
X x{ 1,2,3 };

のxの初期化を、

const double __a[3] = {double{1}, double{2}, double{3}};
X x(std::initializer_list<double>(__a, __a+3));

とほぼ同じ方法で実装するようです。
([dcl.init.list]/5より)

gcc のinitializer_listの実装では、std::initializer_list<double>(__a, 3)になりそうでした。

また、std::initializer_listは、その実装には該当するコンストラクタが無いにも関わらず、空でない初期化子リストを作成することができるようです。
(std::initializer_list<T>::initializer_list - cppreference.comより)

初期化については、初期化 - cppreference.comを参照してください。
この場合は、type ob = {1, 2, 3};はコピーリスト初期化、type ob(1, 2, 3);は直接初期化だと思われます。

Comments

[tometome]

英語での検索スキルが必須ですね。回答ありがとうございます!さすがです!

[alphya]

ありがとうございます！
仕様の細かいところは、ドラフト規格のある http://eel.is/c++draft/ を、
その使用が追加された経緯などは、提案書などがある http://www.open-std.org/JTC1/SC22/WG21/docs/papers/
を探すといいかもしれません！