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

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

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

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

Q&A

解決済

1回答

1253閲覧

requires式の中で、いわゆる_tで終わるtemplate aliasが使えなくてtypename ...::typeなら使えるのはなぜか

yumetodo

総合スコア5850

C++

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

0グッド

0クリップ

投稿2021/03/20 02:15

https://teratail.com/questions/328756
への回答を書いている際に

cpp

1#include <cstddef> 2#include <type_traits> 3template<typename T,size_t N> 4struct Boo{}; 5namespace traits { 6 template<typename> struct boo; 7 template<typename T, size_t N> 8 struct boo<Boo<T, N>> : std::integral_constant<std::size_t, N> 9 { 10 using type = T; 11 }; 12 template<typename T> using boo_elem_t = typename boo<T>::type; 13 14 template<typename ...Args> 15 concept calculatable_boos = requires (Args ...args) { 16 requires sizeof...(Args) >= 2; 17 std::common_type_t<boo_elem_t<Args>...>; 18 { ( boo<Args>::value == ... ) }; 19 }; 20} 21template<typename ...Args> 22auto func(const Args...) 23requires traits::calculatable_boos<Args...> 24{ 25 26} 27 28int main(){ 29 Boo<int,1> a; 30 Boo<int,1> b; 31 Boo<short,1> c; 32 func(a,b); 33 func(a,c); 34}

https://wandbox.org/permlink/GgqjR0OkvmmKWAM4

のようなコードに対して、

gcc

prog.cc:17:44: error: expected primary-expression before ';' token 17 | std::common_type_t<boo_elem_t<Args>...>; |

clang

prog.cc:17:44: error: expected '(' for function-style cast or type construction std::common_type_t<boo_elem_t<Args>...>; ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^

のように言われてしまいました。ちなみにmsvcはなにも指摘しません。ここでこの17行目を

cpp

1typename std::common_type<boo_elem_t<Args>...>::type;

とすると意図したように動きました。

これがどういう原理で発生しているのか教えて下さい。

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

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

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

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

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

guest

回答1

0

自己解決

https://t.co/TXQN02yb2P
Type requirements が構文上先頭に typename を要求するからではないでしょうか。
_t 版でも、先頭に typename をつければコンパイルが通ります。
— nus (@nus_miz) March 20, 2021

https://timsong-cpp.github.io/cppwp/n4861/expr.prim.req.type

type-requirement:
typename nested-name-specifieropt type-name ;

なるほど。

投稿2021/03/20 03:00

yumetodo

総合スコア5850

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

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

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.50%

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

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

質問する

関連した質問