C++型の特性のスカラーの目的は何ですか？

Question

私はcppreference.com、cplusplus.com、およびこのサイト（What is a scalar Object in C++?）で参考資料を見つけることができました。このサイトでは、特定のC++データ型がスカラーかどうかを判断できます。つまり、「参照型、関数型、またはvoid型ですか、そうでない場合は配列、クラス、または共用体ですか？そうでなければ、スカラー型です」というような精神的アルゴリズムを適用できます。コードではもちろん、私はstd::is_scalar<T>を適用することができます。最後に、「スカラー型は加算演算子（算術、ポインタ、メンバポインタ、列挙型、std :: nullptr_t）なしで加算演算子のための組み込みの機能を持つ型です」という作業定義を適用できます。

スカラー分類の目的の説明は見つかりませんでした。なぜスカラーなのか誰も気にするのだろうか？動物学分類学における「爬虫類」（「爬虫類はええと鳥や哺乳動物ではない羊の羊」）のような「残余」の分類のようです。私はそれがその厄介さを正当化するためにいくつかの使用を持っているに違いないと思っています。私は、なぜ型が参照であるかどうかを知りたいと思う理由を理解することができます。例えば、参照の参照を取ることはできません。しかし、なぜ人々は何かがスカラーであるかどうかを気にしますか？すべてのスカラーは何ですか？

Answer 1

1つの目的は、より効率的なテンプレートの特殊化を作成することです。多くのアーキテクチャでは、オブジェクトへのポインタをコピーするよりもオブジェクトへのポインタを渡すほうが効率的ですが、スカラーはレジスタに収まるようになり、単一の機械命令でコピーできます。あるいは、ジェネリック型はロックが必要な場合がありますが、マシンは1つのアトミック命令で正しく整列されたスカラを読み取ったり更新したりすることを保証します。

Answer 2

ここにcppreference.comの注釈がありますか？

言語機能（例えば、仮想テーブルポインタ）によって使用される隠しメモリ位置を含む、C++メモリモデル内の個々のメモリ位置は、スカラー型を有する（または非ゼロ長の隣接するビットフィールドのシーケンス）。 式の評価、スレッド間同期、依存関係の順序付けにおける副作用の順序付けはすべて、個々のスカラオブジェクトによって定義されます。 is_scalar<T>考える

Answer 3

、あなたはどのTのために（つまり、代入、比較およびその逆の、それぞれ）operator=()、operator==()とoperator!=()は、あなたが何を考えないことを確認することができます。

• aclass Tは、任意の意味を持っていてもいなくてもかまいません。
• union Tは問題があります。
• 関数には=がありません。
• 参照にはこれらのいずれかが含まれることがあります。
• 異なるサイズの2つの配列の配列 - ウェル、==および!=は、ポインタと比較するために崩壊しますが、=はコンパイル時に失敗します。

したがって、is_scalar<T>がある場合は、これらが一貫して動作することを確認できます。それ以外の場合は、さらに見る必要があります。