タグ付けされた質問 「fold-expression」

template<class Msg, class... Args> std::wstring descf(Msg, Args&&... args) { std::wostringstream woss; owss << Msg << ". " << ... << " " << args << ": '" << args << "' ";//not legal at all //or owss << Msg << ". " << args[0] << ": '" << args[1] << …

14 c++  c++17  variadic-templates  fold-expression 

バックグラウンド 概念std::same_asは順序にとらわれない（つまり、対称）ことを知っています。std::same_as<T, U>これは、std::same_as<U, T>（関連する質問）と同等です。この質問では、より一般的なものを実装したいと思います。それはtemplate <typename ... Types> concept same_are = ...、パック内の型Typesが互いに等しいかどうかをチェックします。 私の試み #include <type_traits> #include <iostream> #include <concepts> template <typename T, typename... Others> concept same_with_others = (... && std::same_as<T, Others>); template <typename... Types> concept are_same = (... && same_with_others<Types, Types...>); template< class T, class U> requires are_same<T, U> void foo(T …

8 c++  c++20  c++-concepts  fold-expression