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

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

ただいまの
回答率

88.91%

メタプログラミング、型の制限のかけ方

解決済

回答 1

投稿

  • 評価
  • クリップ 1
  • VIEW 273

__ook

score 48

以下のようなコードの場合、どちらもコンパイル時にエラーとさせるという目的は同じだと思います。

template <class T>
struct X {
    static_assert(std::is_integral<T>::value, "template parameter T must be integral type");
};


template <class T, typename std::enable_if<std::is_integral<T>::value, std::nullptr_t>::type = nullptr >
struct Y {};

int main()
{
    X<int>();
    //X<double>();

    Y<int>;
    //Y<double>();
}


基本的にどちらで制限するべきなのでしょうか?
SFINAEを用いたオーバーロードをさせたい場合はenabler、それ以外はstatic_assertで通知すべきでしょうか?
それともstatic_assertには別の目的があるのでしょうか。
static_assertを使用したいと思ったのですが使用せずとも困ったことがないため用途を教えていただきたいです。

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

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

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

    クリップを取り消します

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

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

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

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

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

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

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

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

    質問の評価を下げる

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

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

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

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

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

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

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

    詳細な説明はこちら

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

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

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

回答 1

checkベストアンサー

0

SFINAE 的にはマッチに失敗したら次の候補の展開を試みますが、 static_assert の第一引数が偽の形に展開されたら問答無用でコンパイル全体が失敗です。 ですから、使い分けに関する認識は妥当だと思います。

自分で書いたテンプレートは自分でよく把握しています。 使いこなせる範囲のものしか書きません。 ですから使い方を間違うことはあまりありませんし、間違ったらどこで間違ったのか気づきやすいです。

しかし、充分に使い方を把握していない誰かが間違った使い方をしたときに普通のエラーメッセージから問題点を読み取れるでしょうか? 自分が書いたものを数か月、数年後まできちんと覚えているでしょうか?

もちろん充分に小さなプログラムであれば把握できるでしょうし、近頃はコンパイラのエラーメッセージは割と賢いですが、よりわかりやすいメッセージで問題点を通知できるならそれに越したことは無いです。 static_assert はそういうものです。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2020/04/07 17:19

    なるほど…ありがとうございます。
    SFINAEで分岐しつつ同条件でstatic_assertでコンパイル時の注意を促す、という使い方も良いという理解で問題ないですか?

    キャンセル

  • 2020/04/07 17:44 編集

    元の質問文で言うところの後者 (Y) の中に static_assert も書くような感じですか?
    そうだとすると失敗したときに展開されないので static_assert が機能することは無いですね。

    「展開させない」と「展開した上で失敗する」という違いがあり、「展開させない」の方が機能してしまったら「展開した上で失敗する」という方は機能しないというわけです。

    キャンセル

  • 2020/04/07 20:40

    試したところ、確かに動かないですね。
    SFINAEで成功させるたいもの以外が当てはまるような物を置いてわざと展開させ失敗させる…難しいですね。

    キャンセル

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

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

関連した質問

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