質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

87.34%

std::initializer_listは自作可能か?

解決済

回答 1

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 1,635

score 27

自分で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);の違いを理解していません。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • nskydiving

    2019/07/28 00:26

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

    キャンセル

回答 1

checkベストアンサー

0

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

自作はできないようです。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);直接初期化だと思われます。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/07/28 08:13

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

    キャンセル

  • 2019/07/28 11:17

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

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 87.34%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る