language-lawyer

8熱

1答えて

<typename...>テンプレートに一致していない<typename>に欠陥がありますか？

this answerを調べているうちに、パラメータパックを取るテンプレートは、特定の数のパラメータを持つテンプレートを必要とするテンプレートでは受け入れられないことがわかりました。これは、テンプレートが任意の数のパラメータを取ることができる場合、特定の数にマップできる必要があるため、これは問題であると思われます。なぜこれが許されないのか説明できる言語弁護士はいますか？私はもちろん、この正確なシ

2熱

2答えて

C++アルゴリズムヒープ割り当て保証

フリー・ストア（つまりヒープ）割り当てを行わない標準アルゴリズムの非実行ポリシーオーバーロードについてC++標準で何か保証はありますか？私はリアルタイム処理を行っていますが、たとえばstd::max_elementなどを使用したいと考えていますが、ヒープに割り当てられない保証はありません。それは意味がありませんが、どこに指定されているか分かりません。おそらく私は、それを保証するいくつかの一般的な

8熱

1答えて

は、それがクラスのスコープ内の関数をconstexprのためにポインタを渡すときに私が得た

最小限の例では、少し複雑になり、親テンプレートのパラメータを推定するために乱用です： struct A { }; template <int> struct Parent { }; template <int N> constexpr int operator*(A, Parent<N>*) { return N; } template <class T> using ptr =

9熱

1答えて

なぜconstを追加しない限り、コンパイラは自動テンプレートパラメータを推測できませんか？

私は最近、このようなコードに問題がありました。 constexpr auto lambda = []{}; template<auto& l> struct Lambda {}; template<auto& l> void test(Lambda<l>) {} int main() { test(Lambda<lambda>{}); } 両打ち鳴らすをし、GCCは

2熱

1答えて

組合UBの小規模メンバーのサイズを超える書き込みですか？

unionに関する私の知見によると、それはstructのようであり、主な違いはunionで、すべてのメンバーが同じメモリを共有しているということです。すべての構造体のメンバには独自のメモリがあります。また、メンバーを有効にすることは、他のメンバーに排他的であるメンバーに書くことです。そして、障害者から読むことを試みることはUBとみなされます。ユニオンのサイズは、最大メンバーのデータ型と同じくら

8熱

1答えて

ブランチのLambdaは定数式ではありません：誰が正しいですか？

次のC++ 11コードを混在させてコンパイルしようとしました。 struct NoTemplate { static constexpr auto (*foo)() = false ? +[]{} : nullptr; }; NoTemplate no_inst; template<typename> struct YesTemplate { static con

6熱

2答えて

複数のパックを使用したパラメータパックの一致ルール

パラメータパックといくつかの標準一致ルールを使用して、別の関数を使用する関数を記述しようとしています。例として：Gながら template <typename... TListElems, typename... TVectorElems> void foo(std::tuple<TListElems...>*, std::tuple<TVectorElems...>*,

16熱

2答えて

clang 5：std ::オプションのインスタンス化ネジstd :: is_constructible特性のパラメータタイプ

C++ 17に切り替えてカスタムstd::optionalソリューションを標準のものに置き換えると、本当に奇妙で予想外のclang 5の動作が検出されました。何らかの理由でemplace()がパラメータクラスの特性std::is_constructibleの誤った評価のために無効になっていました。それが再現する前にいくつかの特定の前提条件が満たされている必要がありますgodbolt.org 変動

3熱

1答えて

ユーザー定義型に依存しないグローバル名前空間の標準定義型の演算子をオーバーロードするには適切な形式ですか？

次のコードは、標準規格に従って正しく構成されていますか？ std::ostream& operator<<(std::ostream& out, std::chrono::system_clock::time_point tp) { return out << tp.time_since_epoch().count(); } これは、標準ライブラリで定義されたテンプレートではなく

4熱

1答えて

cとC++の2次元配列の要素の型は何ですか？

int arr[2][3] = ... arr[0]のタイプは、Googleが私の質問については何も伝えていない int (*)[3] // pointer to int[3], which is a pointer. それとも int[3] // an array whose size is 3, which is an array. です。私はポインタと配列が異なる型（派生型）で