, , , , , , , , , .

C++ :

• ( std::is_fundamental):

• void ( std::is_void);

• ( std::is_arithmetic):

• / ( cv- , std::is_integral):

• bool;
• :

• :

• : char, signed char, unsigned char[1]

• (char16_t, char32_t, ( C++11)wchar_t);

• :

• (signed char, short int, int, long int, long long int);

• :

• (unsigned char, unsigned short int, unsigned int, unsigned long int, unsigned long long int);

• ( std::is_floating_point):

• (float, double, long double cv- );

• ( std::is_compound):

• ( std::is_reference):

• lvalue ( std::is_lvalue_reference):

• lvalue ;
• lvalue ;

• ( std::is_pointer):

• ;
• ;

• ( std::is_member_pointer):

• ( std::is_member_object_pointer);
• - ( std::is_member_function_pointer);

• ( std::is_array);
• ( std::is_function);
• ( std::is_enum);

• ;

• :

• ( std::is_class);
• ( std::is_union).

cv- , , cv- , (const, volatile const volatile).

:

• , (, cv-) , , , , , cv- void ( std::is_object);
• , (, cv-) , ( std::is_scalar);
• ( std::is_trivial), POD ( std::is_pod), ( std::is_literal_type), , - .

, std::size_t (.. sizeof) .

, :

• class;
• enum;
• typedef;
• type_alias.

C++ , ; . , T, T , , -- --, , .

int * p;              //    int
static_cast<int*>(); //  ,  "int*"

int a[3];   //    3- int
new int[3]; //  ,  "int[3]" ( new  )

int (*(*x[2])())[3]; //    2-   
                     //      3- int
new (int (*(*[2])())[3]); //  ,  "int (*(*[2])())[3]"

void f(int);                    //  ,  int   void
std::function<void(int)> x = f; //   ,   
                                // "void(int)"
std::function<auto(int) -> void> y = f; //   

std::vector<int> v;       //    int
sizeof(std::vector<int>); //  ,  "std::vector<int>"

struct { int x; } b;         //       b  
sizeof(struct{ int x; });    // :       sizeof
using t = struct { int x; }; //      t,    

sizeof(static int); // :      
                    // --
std::function<inline void(int)> f; // :   

.

:

• ;
• sizeof, alignof, alignas, new typeid;
• ;
• ;
• ;
• ;
• .

:

• ( ), -- -- ( , );
• , .

(, ) , . .

.

, , . .

glvalue , .

// 
struct B {virtual ~B() {} }; //  
struct D: B {}; //  
D d; //   
B* ptr = &d;
//   (*ptr)  B
//   (*ptr)  D

prvalue , .

:

• void ( cv-);
• :
  • , (, ), ;
  • ;
  • ;
  • .

.

, T :

• T T;
• T;
• T;
• new T , T;
• lvalue rvalue, glvalue T;
• T;
• , dynamic_cast static_cast, T* T&, , cv- void;
• , T;
• typeid, sizeof alignof, T;
• , T;
• T;
• lvalue T;
• catch T, T&, T*.

( , T .)

- , . .

:

• (, class X) - ; class X :

struct X;             //  X,    
extern X* xp;         // xp    :
                      //  X 

void foo()
{
  xp++;               //  : X 
}

struct X { int i; };  //  
X x;                  // OK:  X 

void bar()
{
  xp = &x;            // OK:     X
  xp++;               // OK: X 
}

• , , ; , ; .

• , , - ; (" T " " N T") .

. , typedef, . :

extern int arr[];   //  arr 
typedef int UNKA[]; // UNKA  
UNKA* arrp;         // arrp    
UNKA** arrpp;

void foo() {
  arrp++;           // : UNKA  
  arrpp++;          // OK: sizeof UNKA* 
}

int arr[10];        //   arr 

void bar() {
  arrp = &arr;      // :  
  arrp++;           // : UNKA    
}

C++: