c++ scalar 标量类型

What is a scalar Object in C++?

up vote 15 down vote favorite 11

As far as I understand it fundamental types are Scalar and Arrays are aggregate but what about user defined types? By what criteria would I divide them into the two categories? struct S { int i; int j }; class C { public: S s1_; S s2_ }; std::vector<int> V; std::vector<int> *pV = &v; c++  types  theory share improve this question edited Feb 11 '13 at 22:31 0x499602D2 58.3k 19 93 172 asked  Feb 11 '13 at 22:15 PorkyBrain 2,638 1 12 37

I think you may want to clean up the spelling and syntax of your introductory paragraph, and possibly expanind on it a bit if you want useful answers –  tletnes  Feb 11 '13 at 22:19 Do you mean "types" and "aggregate"? –  us2012  Feb 11 '13 at 22:19 2   @us2012: "Tapes and Arrogates" should be an indie college band. –  Kerrek SB  Feb 11 '13 at 22:36 add a comment

3 Answers

active oldest votes

up vote 24 down vote accepted

Short version: Types in C++ are: Object types: scalars, arrays, classes, unions Reference types Function types (Member types) [see below] void Long version Object types Scalars arithmetic (integral, float) pointers: T * for any type T enum pointer-to-member nullptr_t Arrays: T[] or T[N] for any complete, non-reference type T Classes: class Foo or struct Bar Trivial classes Aggregates POD classes (etc. etc.) Unions: union Zip References types: T &, T && for any object or free-function type T Function types Free functions: R foo(Arg1, Arg2, ...) Member functions: R T::foo(Arg1, Arg2, ...) void Member types work like this. A member type is of the form T::U, but you can't have objects or variables of member type. You can only have member pointers. A member pointer has type T::* U, and it is a pointer-to-member-object if U is a (free) object type, and a pointer-to-member-function if Uis a (free) function type. All types are complete except void, unsized arrays and declared-but-not-defined classes and unions. All incomplete types except void can be completed. All types can be const/volatile qualified. The <type_traits> header provides trait classes to check for each of these type characteristics. share improve this answer edited Feb 11 '13 at 22:35 answered  Feb 11 '13 at 22:24 Kerrek SB 290k 42 533 766

add a comment

up vote 16 down vote

I think this would be a more comprehensive answer: original document: http://howardhinnant.github.io/TypeHiearchy.pdf a scalar is a fundamental except it cannot be void, but it can be a pointer type, or an enum type. And a fundamental has a keyword in the language. it is easy to recognize when said like that. share improve this answer edited Jan 13 '15 at 3:20 answered  Jan 13 '15 at 2:18 v.oddou 2,894 1 14 34

add a comment

up vote 3 down vote

There is a series of library classes that used for test the type of variables. std::is_scalar can be used to test if an object is a scalar. A scalar type is a type that has built-in functionality for the addition operator without overloads (arithmetic, pointer, member pointer, enum and std::nullptr_t). Also a table from here.