🎄teratailクリスマスプレゼントキャンペーン2024🎄』開催中!

\teratail特別グッズやAmazonギフトカード最大2,000円分が当たる!/

詳細はこちら
C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

Q&A

解決済

1回答

894閲覧

c++ std::enable_ifでstd::conditionalのようなことをしたい

hoge111

総合スコア17

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

0グッド

1クリップ

投稿2021/02/22 02:44

#質問内容
次のような感じで変数の存在の有無を決定することはできないのでしょうか?
trueの場合にはvalが存在していて、falseの場合には何も変数が存在しないようにします。

cpp

1 2#include <iostream> 3#include <type_traits> 4 5template<bool define> 6struct HOGE { 7 std::enable_if_t<define, int> val; 8}; 9 10int main() { 11 HOGE<true> hoge;//int型の変数valを宣言する 12 HOGE<false> hoge2;//valは存在しない 13}

つまりstd::conditionalのenable_if版のようなイメージです。

cpp

1#include <iostream> 2#include <type_traits> 3 4template<bool define> 5struct HOGE { 6 std::conditional_t<define, int, char> val; 7}; 8 9int main() { 10 HOGE<true> hoge; 11 HOGE<false> hoge2; 12 13 std::cout << typeid(hoge.val).name();//int 14 std::cout << typeid(hoge2.val).name();//char 15}

#考えたこと
特殊化を考えたのですが、上のコードのように二択ならまだしも、より多くの場合わけがある場合はこんがらがってしまうような気がします...。また、共通する他の変数や関数が多い場合は一か所かえただけで全部の特殊化を変える必要が出てきてしまいます。

#include <iostream> #include <type_traits> template<bool define = false> struct HOGE { /* 共通する変数や関数 */ }; template<> struct HOGE<true> { int val; /* 共通する変数や関数 */ }; int main() { HOGE<true> hoge;//int型の変数valを宣言する HOGE<false> hoge2;//valは存在しない }

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

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

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

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

特殊化したテンプレートクラスを継承したものを作れば特殊化の数が爆発しないですむのではないでしょうか?あるいは値を持つときだけコンストラクタが呼ばれてほしいということであればstd::optionalはどうでしょうか?

投稿2021/02/22 03:39

yumetodo

総合スコア5852

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.36%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問