タグ付けされた質問 「c++」

このコードは合法ですか？ class Base1 { }; class Base2 { public: virtual ~Base2() { if (!dynamic_cast<Base1*>(this)) std::cout << "aaaa" << std::endl; } Base2() { } }; class MyClass: public Base1, public Base2 { public: MyClass() { } virtual ~MyClass() { std::cout << "bbb" << std::endl; } }; int main() { MyClass s; …

8 c++  polymorphism  destructor  multiple-inheritance  dynamic-cast 

charおよびconst char配列のテンプレートのオーバーロードに依存する、はるかに大きなアプリケーションがあります。gcc 7.5、clang、およびビジュアルスタジオでは、以下のコードはすべてのケースで「NON-CONST」を出力します。ただし、gcc 8.1以降の場合、出力は次のようになります。 #include <iostream> class MyClass { public: template <size_t N> MyClass(const char (&value)[N]) { std::cout << "CONST " << value << '\n'; } template <size_t N> MyClass(char (&value)[N]) { std::cout << "NON-CONST " << value << '\n'; } }; MyClass test_1() { char buf[30] = "test_1"; return …

8 c++  gcc  overloading  language-lawyer  compiler-bug 

次の問題があります。N次元ベクトルを次のように定義します #include <vector> #include <utility> #include <string> template <int N, typename T> struct NVector{ typedef std::vector<typename NVector<N-1,T>::type> type; }; template <typename T> struct NVector<1,T> { typedef std::vector<T> type; }; ネストされたベクトルのリーフ要素をいくら深くても変換でき、同じ形状の新しいネストされたベクトルを返す、より高次の関数マップを書きたいと思います。私が試してみました template <int N, typename T, typename Mapper> struct MapResult { typedef decltype ( (std::declval<Mapper>()) (std::declval<T>()) ) basic_type; typedef typename NVector<N, …

8 c++  c++11  templates  template-meta-programming 

C ++ 11 constexpr関数では、anなどの2番目のステートメントassert()は使用できません。A static_assert()は問題ありませんが、関数が「通常の」関数として呼び出された場合は機能しません。カンマ演算子はwrtoを助けるために来るかもしれません。assert()しかし、醜いですし、いくつかのツールは、それについての警告を吐きます。 アサーションのほかに完全に制約可能な「ゲッター」を検討してください。しかし、実行時とコンパイル時に何らかのアサーションを保持したいのですが、 'constexpr'コンテキストによってはオーバーロードすることはできません。 template<int Size> struct Array { int m_vals[Size]; constexpr const int& getElement( int idx ) const { ASSERT( idx < Size ); // a no-go for constexpr funcs in c++11 // not possible, even in constexpr calls as being pointed out, but what I …

8 c++  c++11  assert  constexpr  static-assert 

std::accumulateそして、std::reduceほぼ同じことを行います。 の要約std::reduceはそれをすべて言います： similar to `std::accumulate`, except out of order 多くの場合、これらの関数は同じ最終結果をもたらし、同じ全体的な機能を発揮します。非常に重い負荷計算などを行っている場合はstd::reduce、並列化を試すことができます。つまり。ここで鳥の観点から見た従来の知恵は何ですか？明示的に最適化しない限り、常に鈍いstd :: accumulateに固執する必要がありますか？またはデフォルトで使用する必要がありますstd::reduceか？ 場合はstd::reduce、少なくとも速さとして常にある（選択されたデフォルト/なし実行ポリシーを持つ）std::accumulate（少数の命令保存）、私は順序が厳しいときに累積にのみ使用されるべきだと思います。

8 c++  parallel-processing  c++17  accumulate 

C ++では、メンバー変数を持つクラスのオブジェクトをとして宣言するにconstは、ユーザー定義のデフォルトコンストラクターが必要です。次のコードはこれを示しています。 class Some { int value; }; int main() { // error: default initialization of an object of const type 'const Some' // without a user-provided default constructor const Some some; return 0; } ただし、クラスが所有するメンバー変数が変更可能として修飾されている場合、コンパイラーはエラーを報告しません。参考までに、コマンドを使用してコンパイルしましたclang++ -std=c++17 -stdlib=libc++ helloworld.cpp -o helloworld.out --debug。この結果はコンパイラのバグによるものなのか、C ++言語で定義された構文によるものなのでしょうか。 class Some { mutable int value; }; …

8 c++  clang++ 

基本的に私はPythonで値の異なるデータ型の辞書（float / int / bool / char / list）を含むタプル/リストを作ろうとしています。 私はこれを次のコードから取得しています： (<f_p.Bunch; proxy of <Swig Object of type 'Bunch *' at 0x7f4954bdde10> >, <f_p.Bunch; proxy of <Swig Object of type 'Bunch *' at 0x7f4954bdde40> >, <f_p.Bunch; proxy of <Swig Object of type 'Bunch *' at 0x7f495668be70> >, <f_p.Bunch; proxy of <Swig …

8 c++  c++11  c++14  swig 

このプログラム（オプションでコンパイル-std=c++17） #include <stdio.h> #include <string> void* operator new(std::size_t nrOfBytes) { printf("allocate %zd bytes on heap\n", nrOfBytes); void* p = malloc(nrOfBytes); if (p) { return p; } else { throw std::bad_alloc{}; } } int main() { // new operator is called when compiled with Clang or MSVS or GCC int* i …

8 c++  gcc  stdstring  gcc9 

コードを考える struct A {}; auto obj = new A; std::vector<unsigned char> buffer; buffer.resize(sizeof(obj)); std::memcpy(buffer.data(), &obj, sizeof(obj)); // this copies the pointer, not the object! // ... auto ptr = *reinterpret_cast<A**>(buffer.data()); // is this UB? delete ptr; reinterpret_castこの場合の使用法はUBですか？memcpyはインスタンスの存続期間を開始しないため、厳密なエイリアシングルールに違反しstd::bit_castているため（そういうわけで、C ++ 20に追加されました）。 そして、キャストを別のキャストに置き換えるとmemcpy（ポインターを読み取るため）、プログラムは明確に定義されますか？

8 c++  language-lawyer 

次のどちらを適用するかは重要ですか？ std::remove_reference_t<std::remove_cv_t<T>> または std::remove_cv_t<std::remove_reference_t<T>> どんなシナリオで、もしあれば、順序は重要ですか？

8 c++  c++17  typetraits 

私はメタプログラミングが一般的であり、特にそれがC ++で何であるかを理解しようとしています。c ++メタプログラミングを検索すると、テンプレートメタプログラミング（TMP）のチュートリアルは表示されますが、テンプレートの特定の使用法またはテンプレートのすべての使用法のみが分類されているかどうかの説明はありません。 私の質問は、C ++でのテンプレートのすべての使用がメタプログラミングとして分類されるかどうかです。それがなぜなのか、そうでないのかについての説明も役に立ちます。ありがとうございました。

8 c++  templates  metaprogramming  template-meta-programming 

どうすれば、原子の型を持つベクトルのメンバーを割り当てることができますか？ #include <iostream> #include <thread> #include <vector> using namespace std; int main() { vector<atomic<bool>> myvector; int N=8; myvector.assign(N,false); cout<<"done!"<<endl; } https://wandbox.org/permlink/lchfOvqyL3YKNivk prog.cc: In function 'int main()': prog.cc:11:28: error: no matching function for call to 'std::vector<std::atomic<bool> >::assign(int&, bool)' 11 | myvector.assign(N,false); | ^

8 c++  multithreading  c++11  stdvector  stdatomic 

一般的なグラフ構造を作成しようとしていますが、頂点とエッジの間の循環依存関係に遭遇しています。私はVertexクラスとEdgeクラスを次のように定義します。 template<typename EdgeType> struct Vertex { std::vector<EdgeType> successors; }; template<typename EdgeCostType, typename VertexWrapper> struct Edge { EdgeCostType cost; VertexWrapper source; VertexWrapper dest; }; のようなものでインスタンス化したいのですがVertex<Edge<int, std::shared_ptr<decltype(v)>>> v;、明らかにできません。この循環依存関係を解決するにはどうすればよいですか？ 編集： この問題の要約は、現在のテンプレートを現在のテンプレートのテンプレートパラメータの1つに対するテンプレートパラメータとして使用することです。 template<typename VertexWrapper> struct Vertex { std::vector<pair<int, VertexWrapper<Vertex>>> successors; };

8 c++  c++11  c++17  circular-dependency 

コンパイル時にatoi（）関数を実装したい（C ++ 11またはC ++ 14標準を使用して、C ++言語で）。したがって、二重引用符で囲まれたテキストを数値として解析したり、エラーを再現したりできます。より具体的には、それはコンパイル時にprintfのような形式を解析できるより大きなシステムの一部です。そして、私は単語のフォーマット文字列を分割し、特定の単語を数字で表すことができる場合は、文字列ではなく番号を出力します（シーンの背後にあるシリアライザクラスは、文字列よりも数値をより効率的にシリアル化できます。重要なのは、デシリアライザはすべての文字列を数値として解析しようとしないことです。これは、フォーマット文字列内に出力されるすべての数値は常に数値として表現され、文字列としては表現されないためです...） 私が2つ知っているように、タスクを解決するには2つの方法があります。 1）constexpr関数を使用する。 2）テンプレートのメタプログラミング。 どっちがいいの？私は最初の方法を試しましたが、この方法には多くの障害があることがわかります。特に、c ++ 11に関連するいくつかの制限があります。2番目のように見えるかもしれませんが、いくつかのトリックが必要です（c ++ 14から始まるgccおよびc ++ 11から始まるclangでサポートされている、演算子 ""を使用して文字列を分割して文字を分離する必要があります。 ）。また、完全にTMPに基づくソリューションは、大きすぎて複雑すぎます。 以下は私の解決策です、私はそれについていくつかの提案を聞いてうれしいです。 http://coliru.stacked-crooked.com/a/0b8f1fae9d9b714b #include <stdio.h> template <typename T> struct Result { T value; bool valid; constexpr Result(T v) : value(v), valid(true) {} constexpr Result() : value(), valid(false) {} }; template <typename T> constexpr …

8 c++  c++11  template-meta-programming  compile-time  compile-time-constant 

std::vector昇順で並べ替えられた個別の要素を考慮して、合計が特定の値であるコレクションに2つの要素があるかどうかを判断するアルゴリズムを開発したいと思いますsum。 私はそれぞれのトレードオフで2つの異なるアプローチを試しました： ベクトル全体をスキャンし、ベクトルの各要素std::lower_boundに対してsum、現在の要素との差に対応する要素を検索するために、ベクトルにバイナリ検索（）を適用できます。これは、追加のスペースを必要としないO（n log n）時間ソリューションです。 ベクトル全体をトラバースしてにデータを入力できstd::unordered_setます。次に、ベクトルをスキャンし、各要素std::unordered_setについて、とsum現在の要素の違いを調べます。ハッシュテーブルの検索は平均して一定の時間で実行されるため、このソリューションは線形時間で実行されます。ただし、このソリューションでは、std::unordered_setデータ構造のために追加の線形スペースが必要です。 それにもかかわらず、線形時間で実行され、追加の線形スペースを必要としないソリューションを探しています。何か案は？スピードとスペースのトレードオフを強いられているようです。

8 c++  algorithm  c++11  search  stl