C++でのautoの使用11

Question

autoを使用してポインタ型を推測すると、私は奇妙な現象を発見しました。私のコードは次のようである：

#include <iostream> 
using namespace std; 
int main() 
{ 
    int i = 100; 
    auto p1 = &i; 
    auto *p2 = &i; 

    cout << *p1 << " " << *p2 << endl; 

    return 0; 
} 

コンパイルして実行した後、我々は*p1と*p2の結果が同じであることを見つけることができ、両方これはp1とp2の両方intを指すポインタ・オブジェクトであることを意味100オブジェクト。

[user@host ~]$ ./test 
100 100 

p1とp2を定義し、これらの二つの文の間に違いはありますか？ template argument deductionで使用される変数の宣言に使用

Answer 1

auto指定子は、同じ規則で、その種類 を推定します。

最初の例を考えてみましょう（つまり、auto p1 = &i;）。次のように auto指定子のタイプが推定される：

1. autoは虚数型テンプレートパラメータに置き換えられる（例えば、U p1 = &i;）。
2. &iタイプはint*であり、従って驚きはなく、テンプレート控除ルールによればUはint*に推定される。

次に、2番目の例（つまり、auto *p2 = &i）について考えてみましょう。

1. また、autoは、虚偽のテンプレートパラメータ（例えば、U* p1 = &i;）に置き換えられます。
2. &iタイプはint*であり、テンプレート控除ルールに従ってUはintに推定されます。このよう

、auto *p2 = &i;にプレースホルダタイプautoは正しく、あなたが期待している可能性があるとして、タイプint**のp2ビーイングにつながること、intとしてではなくint*と推測されます。

Answer 2

差は、第二の場合に自動intを推定しなが​​ら第一の場合にはオートがタイプint*の両方p1とp2ビーイングをもたらす、int*に推定されることです。 autoの型減算機構は、テンプレート引数の型減算機構と同等です。あなたの例では型推論は、したがって、両方の機能がvoid型（int型*）としてインスタンス化される

template<typename T> 
void foo(T p1); 

template<typename T> 
void bar(T* p2); 

int main() 
{ 
    int i; 
    foo(&i); 
    bar(&i); 
} 

に似ていますが、後者の場合Tにintを入力している間、最初のケースでTがint*に推測されています。