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

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

新規登録して質問してみよう
ただいま回答率
85.50%
C++

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

Clang

Clangは、プログラミング言語 C、C++、Objective-C、Objective-C++ 向けのコンパイラである。

Q&A

解決済

1回答

525閲覧

C++20 パラメータパックとconceptの動作について

jbe00214

総合スコア63

C++

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

Clang

Clangは、プログラミング言語 C、C++、Objective-C、Objective-C++ 向けのコンパイラである。

0グッド

0クリップ

投稿2022/03/30 00:11

前提

C++20 のConceptを使ってC++17コードの書換え作業をしています。
コンセプトを定義して,パラメータパックを使ったテンプレート関数に対して制約を加える書き方には,いくつかありますが,requires を使うと期待した動作をするのに,template<>の typename に代えて制約を書くと期待した動作をしません。
具体的には以下のコードです。
問題点がわかる方のご教示いただければ幸いです。

実現したいこと

もちろん,
template< C ...Args>
void foo(){}
と書くことです。

発生している問題・エラーメッセージ

No matching function for call to 'foo'

該当のソースコード

C++

1/// シーケンス中の要素の一つでもtrueがあるとtrueを返す定数式 2constexpr bool Some(){return false;} 3template<typename ...Args> 4constexpr bool Some(bool b, Args ...args) 5{ 6 return b || Some(args...); 7} 8/// シーケンス中の要素に一つでもfloatがあることを要件とする制約式 9template<typename ...Args> 10concept C = Some( same_as<Args,float>...); 11 12///requiresを使ってboo関数を作ってみる 13template<typename ...Args> 14requires C<Args...> 15void boo(Args... args){} 16 17///typenameに制約式を使ってfoo関数を作ってみる 18template<C ...Args> 19void foo(Args... args){} 20 21int main(){ 22 static_assert(C<float,char,char>); 23 boo(3.5f, 3, 5); 24 foo(3.5f, 3, 5);///なぜかこっちはエラー 25}

試したこと

SomeをAllに変えてみるとうまくいく。

C++

1//シーケンス中の要素が全てtrueのときにtrueを返す定数式 2constexpr bool All(){return true;} 3template<typename ...Args> 4constexpr bool All(bool b, Args ...args) 5{ 6 return b && All(args...); 7}

補足情報(FW/ツールのバージョンなど)

C++20 clang

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

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

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

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

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

guest

回答1

0

ベストアンサー

この foo の書き方だと「全ての Args を (個々に) C で検査する」という意味になってしまいますよ。
要するにその書き方で bar と同様のことは出来ません。

投稿2022/03/30 03:15

SaitoAtsushi

総合スコア5437

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

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

jbe00214

2022/03/30 05:10

ありがとうございます。ご教示をいただいて,そうだよなという感じにはなりましたが,じゃあ,どのように直すかを考えてみたものの,思いつきませんでした。この問いの例において,Cの記述を変更せずにtemplateパラメータ内に制約を書く方法はないのか,書き方があるのであればどのように書くのかさらにご教示願えますか。
SaitoAtsushi

2022/03/30 05:36

出来ません。 制約が単純なときは class (または typename) のかわりにコンセプト名を書くことでも制約を付けられるというだけで、すべての場合で requires と同等の記述能力があるわけではないです。
jbe00214

2022/03/30 23:03

ありがとうございます。良くわかりました。すっきりとした記述ができると思ったのですが,諦めます。というより,concept制約 をtypenameに置き換えてもシンタックス上エラーが出ませんので,置き換えできると単純に思っていると検出できないバグの原因になりますね。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.50%

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

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

質問する

関連した質問