ホームページ  >  記事  >  バックエンド開発  >  C++11 の新機能における auto と decltype の違いと関連性

C++11 の新機能における auto と decltype の違いと関連性

高洛峰
高洛峰オリジナル
2017-01-23 14:34:321708ブラウズ

C++11 の新機能における auto と decltype の違いと関係

1. auto の概要

プログラミングするとき、式の値を変数に渡す必要があることを明確に理解する必要があります。変数を宣言するときの変数の型。ただし、これを行うのは簡単ではなく (特にテンプレートの場合)、まったく不可能な場合もあります。この問題を解決するために、新しい C++11 標準では auto 型指定子が導入されており、これによりコンパイラが式の型を分析できるようになります。特定の型指定子 (int など) にのみ対応するオリジナルのものとは異なります。 auto を使用すると、コンパイラは初期値を通じて型推論を実行できます。これにより、定義された変数の型が取得されるため、auto で定義された変数は初期値を持つ必要があります。

//由val_1 和val_2相加的结果可以推断出item的类型
auto item = val_1 + val_2;//item 类型初始化为val_1 + val_2相加后的类型,值为val_1+val_2相加的值。

ここでの項目の型は、コンパイル プロセス中に val_1 と val_2 の型を追加することによってコンパイラーによって計算されます。 val_1(int) + val_2(double) の場合、項目の型はすべての変数の初期の基本データ型が同じである必要があります。ここでは、データ型と型修飾子を必ず区別してください。 !

int i = 3;
auto a = i,&b = i,*c = &i;//正确: a初始化为i的副本,b初始化为i的引用,c为i的指针.
auto sz = 0, pi = 3.14;//错误,两个变量的类型不一样。

コンパイラーによって推論された auto 型は、初期値の型とまったく同じではない場合があります。コンパイラーは、初期化ルールとの一貫性を高めるために、結果の型を適切に変更します。

​​​​​​​​​​​​​​​​​この時点で、コンパイラは参照オブジェクトのタイプを自動のタイプとして使用します。 12値が定数へのポインターである場合:

int i = 0 ,&r = i;//定义一个整数i,并且定义r为i的应用.
auto a = r; //这里的a为为一个整数,其值跟此时的i一样.

‐ '' 's — – – spen off-‐to ‐‐‐‐‐ ‐ to be まで、初期化規則が適用されます (参照宣言に使用される const はすべて基礎となる const です):

int i = 0;
const int ci = i, &cr = ci; //ci 为整数常量,cr 为整数常量引用 
auto a = ci;   // a 为一个整数, 顶层const被忽略
auto b = cr;   // b 为一个整数,顶层const被忽略
auto c = &ci;  // c 为一个整数指针.
auto d = &cr;  // d 为一个指向整数常量的指针(对常量对象区地址是那么const会变成底层const)

2. decltype の概要

時々、この状況に遭遇することがあります。式から変数の型を推測して定義を推測したいと考えていますが、式の値で変数を初期化する必要はありません。関数の戻り値の型が式の値の型である可能性もあります。このような場合、auto は無力であるため、C++11 では、オペランドのデータ型を選択して返すために使用される 2 番目の型指定子 decltype が導入されています。このプロセス中、コンパイラは式を分析してその型を取得するだけで、式の値を実際に計算することはありません。

const auto f = ci;

ここで、コンパイラは実際に f 関数を呼び出しませんが、f 関数の戻り値を定義された型の sum として分析します。

基本的に、decltype の機能は auto の機能と非常に似ているので、一つずつリストすることはしません。 decltype のもう 1 つの用途は、C++11 で導入された postfix 戻り型です。

3。

auto &g = ci; //g是一个整数常量引用,绑定到ci。
auto &h = 42; // 错误:非常量引用的初始值必须为左值。
const auto &j = 42; //正确:常量引用可以绑定到字面值。
c Decltype にも注目すべき箇所がいくつかあります。次のコードを見てみましょう:

decltype(f()) sum = x;// sum的类型就是函数f的返回值类型。

式の内容が参照演算を解決するものである場合、decltype は参照型を取得します。ご存知のとおり、ポインターを逆参照すると、ポインターが指すオブジェクトを取得でき、このオブジェクトに値を割り当てることもできます。したがって、decltype(*p) の結果の型は int&.

decltype と auto のもう 1 つの重要な違いは、decltype の結果の型が式の形式と密接に関連していることです。特に注意が必要な場合があります。decltype で使用される式では、変数名に括弧が追加されている場合、取得される型が括弧なしの場合と異なる場合があります。 decltype で括弧なしで変数を使用した場合、結果は変数の型になります。ただし、この変数に 1 つ以上の括弧の層を追加すると、コンパイラーはこの変数を式として扱います。この変数は左辺値として使用できる特別な式であるため、そのような decltype は参照型を返します。


这里再指出一个需要注意的地方就是 = 赋值运算符返回的是左值的引用。换句话意思就是说 decltype(i = b)  返回类型为 i 类型的引用。仔细看下面这段代码:

int main()
{
  int i = 42;
  
  decltype(i = 41) x = i;
  
  auto y = i;
  
  auto& z = i;
  
  printf("i x y z 此时为: %d %d %d %d\n", i,x,y,z);
  
  i--;
  
  printf("i x y z 此时为: %d %d %d %d\n", i, x, y, z);
  
  x--;
  
  printf("i x y z 此时为: %d %d %d %d\n", i, x, y, z);
  
  y--;
  
  printf("i x y z 此时为: %d %d %d %d\n", i, x, y, z);
  
  z--;
  
  printf("i x y z 此时为: %d %d %d %d\n", i, x, y, z);
  
  return 0;
}


运行结果为:

i x y z 此时为: 42 42 42 42
i x y z 此时为: 41 41 42 41
i x y z 此时为: 40 40 42 40
i x y z 此时为: 40 40 41 40
i x y z 此时为: 39 39 41 39

   

     由上面的代码和运行结果可以看出来,1.decltype(i = 41)中的赋值语句并没有真正的运行。2. decltype(i = 41)返回的其实是int&,也就是说x 其实是 i 的引用。

了解了auto 和 decltype后,以后在使用的过程中一定要分清两者的区别,防止在定义的时候产生const 与非const 以及引用 与非引用 的差别!!

感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!

更多C++11新特性中auto 和 decltype 区别和联系相关文章请关注PHP中文网!

声明:
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。