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

私std::moveがここに投稿するのを見るほとんどの場合、それは<utility>バージョンを参照しています。 std::moveで<algorithm>、実際には、その名前が示唆している何を移動し、一方std::moveでは、<utility>ちょうど基本的に最終的には左辺値にはxValueを移動するための前処理段階ではxValue、にその引数をキャストします。それでmove、それぞれの機能が異なるときに、これらの両方に名前を付けるのは、ちょっと混乱しませんか？

8 c++  move  c++-standard-library 

私のクラスは複数のベースから継承していますが、そのうちの1つはですstd::enable_shared_from_this。一塁でなければならないのですか？ 次のコード例を考えてみます。 struct A { ~A(); }; struct B { ~B(); }; struct C : A, B, std::enable_shared_from_this<C> {}; std::make_shared<C>(); 実行する~A()と~B()、C住んでいたストレージがまだ存在していることを確認できますか？

8 c++  c++11  inheritance  multiple-inheritance  enable-shared-from-this 

配列サイズの妥当性に基づいて特化しようとしています： // base template template<int p, typename T = void> struct absolute { operator int () const { return 0; } }; // positive case template template<int p> struct absolute<p, typename std::void_t<int[p]>> { operator int () const { return p; } }; // negative case template template<int p> struct absolute<p, …

8 c++  template-specialization 

＃1664の提案された解決策（提案された解決策1664）を見た後、私は関数テンプレートのデフォルト引数のルールに混乱しています、ここにコンテンツを引用してください： 8.1.5 [expr.prim.lambda]パラグラフ3によると クロージャタイプは、対応するラムダ式を含む最小のブロックスコープ、クラススコープ、または名前空間スコープで宣言されます。[注：これにより、クロージャタイプに関連付けられた名前空間とクラスのセットが決まります（6.4.2 [basic.lookup.argdep]）。ラムダ宣言子のパラメータタイプは、これらの関連する名前空間とクラスには影響しません。—エンドノート] ただし、17.8.1 [temp.inst]パラグラフ13には、 デフォルトの引数を使用する必要がある方法で関数テンプレートfが呼び出された場合、依存名が検索され、セマンティクスの制約がチェックされ、デフォルトの引数で使用されているテンプレートのインスタンス化は、デフォルトの引数のように行われます。その時点で使用されている関数テンプレートfと同じスコープ、同じテンプレートパラメータ、同じアクセス権を持つ関数テンプレートの特殊化で使用される初期化子でした。 その場合、可能性は、テンプレート関数（または、おそらく、クラステンプレートのメンバー関数）のデフォルト引数のラムダ式のクロージャタイプが、の本体のブロックスコープで宣言されていると見なされることです。架空の機能テンプレートの特殊化。 次の例を考えてみましょう。 namespace J { inline namespace K { template <typename T> int zap(const T &t) { foo(t); return 0; } template <typename T> void zip(int = zap([] { })) { } } template <typename T> void foo(const T &) { } …

8 c++  templates  c++17  language-lawyer 

C ++では、あるサイズのグローバル配列を宣言してみました。エラーが発生しました： バインドされた配列は ']'トークンの前の整数定数ではありません しかし、main()関数内で同じ型の配列を宣言すると、うまく機能します。 ここに異なる動作があるのはなぜですか？ int y=5; int arr[y]; //When I comment this line it works fine int main() { int x=5; int arr2[x]; // This line doesn't show any error. } 編集：多くの人が、この質問は「配列の境界が ']'トークンの前の整数定数ではありません」というエラーの複製であると示唆しています。しかし、その質問は、なぜ異なる行動があるのか​​には答えません。

8 c++  variable-length-array 

cppreferenceによると、関数acoslはstd名前空間にある必要があります：https : //en.cppreference.com/w/cpp/numeric/math/acos ただし、gcc（またはclang）では、以下のコードはコンパイルされません。 #include <cmath> int main() { long double var = std::acosl(4.0); return 0; } 次のエラーメッセージが表示されます。 gay@latitude-7490:~$ g++ -std=c++11 test.cpp test.cpp: In function 'int main()': test.cpp:5:26: error: 'acosl' is not a member of 'std'; did you mean 'acosh'? 5 | long double truc = std::acosl( (long double)4.0); | …

8 c++  c++11 

std::invoke関数がオーバーロードされている場合でも、関数タイプを推定する作業を行うためのラッパーを提供しようとしています。 （私は昨日、可変およびメソッドポインターバージョンについて関連する質問をしました）。 関数に1つの引数がある場合、このコード（C ++ 17）は通常の過負荷状態で期待どおりに機能します。 #include <functional> template <typename ReturnType, typename ... Args> using FunctionType = ReturnType (*)(Args...); template <typename S, typename T> auto Invoke (FunctionType<S, T> func, T arg) { return std::invoke(func, arg); } template <typename S, typename T> auto Invoke (FunctionType<S, T&> func, T & arg) { return …

8 c++  templates  function-pointers  template-meta-programming  type-deduction 

問題 特定のポイントについて、特定の半径の円内にあるすべてのピクセルを取得したいのですが、ポイントは整数座標しか持てません。つまり、キャンバス内のピクセルです。 だから私は、与えられた黄色の領域内のすべてのポイントを取得したい(x, y)とr。 アプローチ 私が考えることができる最も効率的な方法は、正方形をループして各ポイントのユークリッド距離を(x, y)確認することです。 for (int px = x - r; px <= x + r; px++) { for (int py = y - r; py <= y + r; py++) { int dx = x - px, dy = y - py; if (dx * dx …

8 c++  algorithm  canvas  geometry  distance 

値によってオブジェクトを返すメソッドがあります。このメソッドは、私が制御できないライブラリからのものです。オブジェクトをさらに処理するために、このオブジェクトでunique_ptrを引き続き使用します。次に例を示します。 #include <iostream> #include <memory> class Bla { public: Bla() { std::cout << "Constructor!\n"; } ~Bla() { std::cout << "Destructor!\n"; } }; Bla GetBla() { Bla bla; return std::move(bla); } int main() { auto bla = std::make_unique<Bla>(GetBla()); } この例では、次の出力が生成されます。 Constructor! Destructor! Destructor! Destructor! ブラのデストラクターがここで3回呼び出されるのはなぜですか？unique_prtの作成方法は正しいですか？

8 c++  unique-ptr 

次の例を考えてみます（スニペット（0））： struct X { constexpr int get() const { return 0; } }; void foo(const X& x) { constexpr int i = x.get(); } int main() { foo(X{}); } 上記の例は、g++以前のすべてのバージョンでコンパイルされg++ 10.x、でコンパイルされることはありませんclang++。エラーメッセージは次のとおりです。 error: 'x' is not a constant expression 8 | constexpr int i = x.get(); | godbolt.orgの実例 ただしx、の本体で定数式が使用されることはないため、エラーの種類には意味がありますfoo。 X::get()マークされてconstexprおり、の状態には依存しませんx。 に変更const …

8 c++  c++17  language-lawyer  constexpr  c++20 

渡されたすべてのタイプのサイズの合計を決定するためのこの可変構造があります： template <typename U, typename... T> struct TotalSizeOf : std::integral_constant<size_t, sizeof(U) + TotalSizeOf<T...>::value> {}; template <typename U> struct TotalSizeOf<U> : std::integral_constant<size_t, sizeof(U)> {}; 使用法： TotalSizeOf<double, int, char>::value 問題は、これを変更して、空のパラメーターパックで動作し、戻ることができるようにする方法です0。 例えば TotalSizeOf<>::value 現在、エラーが発生します error: wrong number of template arguments (0, should be at least 1) C ++ 14しか使用できません。

8 c++  c++14 

主対角線上にゼロがあるnxn下三角行列Aの圧縮スパース列（csc）表現があり、bを (A + I)' * x = b これは私がこれを計算するために持っているルーチンです： void backsolve(const int*__restrict__ Lp, const int*__restrict__ Li, const double*__restrict__ Lx, const int n, double*__restrict__ x) { for (int i=n-1; i>=0; --i) { for (int j=Lp[i]; j<Lp[i+1]; ++j) { x[i] -= Lx[j] * x[Li[j]]; } } } したがって、bは引数を介して渡さxれ、ソリューションによって上書きされます。Lp、Li、Lxそれぞれスパース行列の標準CSC表現の行、インデックス、及びデータポインタです。この関数はプログラムの一番上のホットスポットで、次の行があります。 x[i] -= Lx[j] * …

8 c++  c  performance  assembly  optimization 

単純な単一継承を使用する場合、派生クラスのアドレスは基本クラスのアドレスと同じであることは誰もが知っています。多重継承はそれを真実にしません。 仮想継承もそれを正しくありませんか？つまり、次のコードは正しいですか。 struct A {}; struct B : virtual A { int i; }; int main() { A* a = new B; // implicit upcast B* b = reinterpret_cast<B*>(a); // fishy? b->i = 0; return 0; }

8 c++  virtual-inheritance 

私はこの例に出くわしました struct sct { int t[2]; }; struct str { sct t[2]; }; int main() { str t[2] = { {0, 2, 4, 6}, {1, 3, 5, 7} }; //Who does this work? cout << t[1].t[0].t[1] << t[0].t[1].t[0]; return 0; } これはコンパイルして正常に動作します。それは出力を与えます34 初期化の構文は次のようになるはずです。 str t[2] = { { {0, 2},{4, …

8 c++  struct  nested  uniform-initialization 

私はいくつかのメタプログラミングプログラムを書くためにBoost.hanaでc ++ 17を使用しています。私を悩ませた1つの問題は、static_assertのようなconstexprコンテキストで使用できる式の種類です。次に例を示します。 #include <boost/hana.hpp> using namespace boost::hana::literals; template <typename T> class X { public: T data; constexpr explicit X(T x) : data(x) {} constexpr T getData() { return data; } }; int main() { { // test1 auto x1 = X(1_c); static_assert(x1.data == 1_c); static_assert(x1.getData() == 1_c); } { …

8 c++  boost  boost-hana