language-lawyer

4熱

1答えて

派生クラスへのポインタメンバ変数をポインタベースのクラスメンバ変数にキャストするのは合法でしょうか？

メンバへのポインタへのアクセスに使用されるポインタが正しい型である限り、次のことは未定義の動作につながりますか？もしそうなら、なぜキャストが必要なのですか？それがなければもっと良く見えます（そして、はい、それは単なる意見の問題です）。 struct base { int foo(int base::* ptr) { return this->*ptr; } };

8熱

1答えて

C++なぜatomic_loadのパラメータの型が参照ではなくポインタであるのですか？

私はWhen to use references vs. pointersの答えに同意します。しかし、C++は template<class T> T atomic_load(const std::atomic<T> *obj) noexcept; ^ 代わりの template<class T> T atomic_load(const std::atomic<T>

18熱

1答えて

は、テンプレートテンプレートパラメータ

の場合、互換非型テンプレートパラメータのプレースホルダ型である単純な例を考えてみましょう： int x; template <template <auto> class TT> struct Foo { void foo() { TT<(x)> tt; static_cast<void>(tt); } }; template <decltyp

7熱

1答えて

メンバー静的コールバック関数のextern "C"

Haskell（GHC）で書かれたコードのコールバック関数を提供したいと思います。 GCC Cコンパイラのような関数型を使用して、関数をエクスポート/インポートし、実行時に自分のコードと相互運用できます。 Iが実際にクラスへthisポインタを受け入れ、ちょうどそのメソッドを呼び出すコールバック関数を提供しなければならない： struct C { int f(int i) { ; }

1熱

1答えて

競合テンプレート定義とODR

は、私は2つの異なる翻訳単位a.cpp #include <iostream> double bar(); template <typename T> T foobar(T t) { return t; } int main() { std::cout << "foobar called from b.cpp: " << bar() << '\n';

6熱

1答えて

ヘルパー関数

を最適化する。これは、サンプルコードと Casting a function pointer to another type struct my_struct; void my_callback_function(struct my_struct* arg); void do_stuff(void (*cb)(void*)); static void my_callback_helper(

0熱

1答えて

std :: hash :: operator（） - 例外保証はどこですか？

はどこに標準でそれが std::hash<T>::operator() が例外をスローしないように指定しますか？

7熱

2答えて

sizeof（T [N]）== N * sizeof（T）は保証されていますか？

私はいつも、TタイプのN要素の配列のサイズが、sizeofによって返され、正確にN倍のsizeof(T)であることが保証されていると仮定していました。 comments on this questionは私にそれを疑わせました。評判の良いユーザーからは、配列にはパディングが含まれている可能性があるという主張があります。もちろん、そのようなプラットフォームは存在しないかもしれませんが、許可されていま

0熱

2答えて

デフォルトで保護されたデストラクタを持つクラスは簡単に破壊できないが、派生クラスは？最初の静的アサーションexemple以下で

は、第二の解雇ではなく： #include<type_traits> struct A{ protected: ~A()=default; }; struct B:A{ //this static assertion fails static_assert(std::is_trivially_destructible<A>::value,""); }; /

0熱

1答えて

ショートハンド表記がクラス外で動作しないのはなぜですか？

何とか私はこれを理解できませんanswer。メンバ関数は、クラス外で定義されている場合、なぜ我々はテンプレート宣言は、右のメンバーの前に繰り返された後も、（たとえばFoo::Foo(){}ための代わりより冗長Foo<T>::Foo(){}を持つ）、単純なネストされた名前指定子を持つことができません関数定義。