`auto` (C++)

Określa typ zadeklarowanej zmiennej z wyrażenia inicjalizacji.

Uwaga

Standard języka C++ definiuje oryginalne i poprawione znaczenie dla tego słowa kluczowego. Przed programem Visual Studio 2010 auto słowo kluczowe deklaruje zmienną w klasie automatycznego magazynu, czyli zmienną o lokalnym okresie istnienia. Począwszy od programu Visual Studio 2010, słowo kluczowe deklaruje zmienną, auto której typ jest wywoływany z wyrażenia inicjalizacji w jego deklaracji. Opcja /Zc:auto[-] kompilatora kontroluje znaczenie słowa kluczowego auto .

Składnia

auto DeclaratorInicjatora;

[](auto param1, autoparam2) {};

Uwagi

Słowo auto kluczowe przekierowuje kompilator do użycia wyrażenia inicjowania zadeklarowanej zmiennej lub parametru wyrażenia lambda w celu wyłudzenia jego typu.

Zalecamy używanie słowa kluczowego auto w większości sytuacji — chyba że naprawdę chcesz konwersji — ponieważ zapewnia następujące korzyści:

Niezawodność: jeśli typ wyrażenia zostanie zmieniony — w tym po zmianie typu zwracanego przez funkcję — po prostu działa.
Wydajność: masz gwarancję, że nie ma konwersji.
Użyteczność: nie musisz martwić się o trudności z pisownią nazw typów i literówek.
Wydajność: Kodowanie może być bardziej wydajne.

Przypadki konwersji, w których możesz nie chcieć użyć polecenia auto:

Potrzebujesz określonego typu i nic innego nie zrobi.
W typach pomocnika szablonu wyrażeń — na przykład (valarray+valarray).

Aby użyć auto słowa kluczowego, użyj go zamiast typu, aby zadeklarować zmienną i określić wyrażenie inicjalizacji. Ponadto można zmodyfikować auto słowo kluczowe przy użyciu specyfikatorów i deklaratorów, takich jak const, volatile, wskaźnik (), odwołanie (*&) i odwołanie rvalue (&&). Kompilator oblicza wyrażenie inicjowania, a następnie używa tych informacji do obliczenia typu zmiennej.

Wyrażenie inicjowania auto może mieć kilka form:

Uniwersalna składnia inicjowania, taka jak auto a { 42 };.
Składnia przypisania, taka jak auto b = 0;.
Składnia przypisania uniwersalnego, która łączy dwa poprzednie formularze, takie jak auto c = { 3.14159 };.
Inicjowanie bezpośrednie lub składnia w stylu konstruktora, takie jak auto d( 1.41421f );.

Aby uzyskać więcej informacji, zobacz Initializers (Inicjatory ) i przykłady kodu w dalszej części tego dokumentu.

Gdy auto jest używany do deklarowania parametru pętli w instrukcji opartej na for zakresie, używa innej składni inicjowania, na przykład for (auto& i : iterable) do_action(i);. Aby uzyskać więcej informacji, zobacz Instrukcja oparta na for zakresie (C++).

Słowo auto kluczowe jest symbolem zastępczym typu, ale nie jest typem. auto W związku z tym słowo kluczowe nie może być używane w rzutach ani operatorach, takich jak sizeof i (dla języka C++/CLI). typeid

Przydatność

Słowo auto kluczowe to prosty sposób deklarowania zmiennej, która ma skomplikowany typ. Można na przykład użyć auto metody , aby zadeklarować zmienną, w której wyrażenie inicjowania obejmuje szablony, wskaźniki do funkcji lub wskaźniki do elementów członkowskich.

Można również użyć auto polecenia , aby zadeklarować i zainicjować zmienną w wyrażeniu lambda. Nie można zadeklarować typu zmiennej samodzielnie, ponieważ typ wyrażenia lambda jest znany tylko kompilatorowi. Aby uzyskać więcej informacji, zobacz Przykłady wyrażeń lambda.

Końcowe typy zwracane

Można użyć , autowraz ze specyfikatorem decltype typu, aby ułatwić pisanie bibliotek szablonów. Użyj auto funkcji i decltype , aby zadeklarować szablon funkcji, którego typ zwracany zależy od typów argumentów szablonu. Możesz też użyć polecenia auto i decltype zadeklarować szablon funkcji, który opakowuje wywołanie innej funkcji, a następnie zwraca dowolny typ zwracany przez inną funkcję. Aby uzyskać więcej informacji, zobacz decltype.

Odwołania i kwalifikatory cv

Używanie auto odwołań spadkowych, const kwalifikatorów i volatile kwalifikatorów. Rozważmy następujący przykład:

// cl.exe /analyze /EHsc /W4
#include <iostream>

using namespace std;

int main( )
{
    int count = 10;
    int& countRef = count;
    auto myAuto = countRef;

    countRef = 11;
    cout << count << " ";

    myAuto = 12;
    cout << count << endl;
}

W poprzednim przykładzie element myAuto jest odwołaniemintint, więc dane wyjściowe to 11 11, a nie 11 12 tak, gdyby kwalifikator odwołania nie został porzucony przez autoelement .

Potrącenie typu przy użyciu inicjatorów nawiasów klamrowych (C++14)

Poniższy przykład kodu pokazuje, jak zainicjować zmienną auto przy użyciu nawiasów klamrowych. Zwróć uwagę na różnicę między B i C a między A i E.

#include <initializer_list>

int main()
{
    // std::initializer_list<int>
    auto A = { 1, 2 };

    // std::initializer_list<int>
    auto B = { 3 };

    // int
    auto C{ 4 };

    // C3535: cannot deduce type for 'auto' from initializer list'
    auto D = { 5, 6.7 };

    // C3518 in a direct-list-initialization context the type for 'auto'
    // can only be deduced from a single initializer expression
    auto E{ 8, 9 };

    return 0;
}

Ograniczenia i komunikaty o błędach

W poniższej tabeli wymieniono ograniczenia dotyczące używania słowa kluczowego auto oraz odpowiedni komunikat o błędzie diagnostycznym emitowany przez kompilator.

Numer błędu	opis
C3530	Słowo `auto` kluczowe nie może być łączone z żadnym innym specyfikatorem typu.
C3531	Symbol zadeklarowany za pomocą słowa kluczowego `auto` musi mieć inicjator.
C3532	Słowo kluczowe zostało `auto` niepoprawnie użyte do zadeklarowania typu. Na przykład zadeklarowaliśmy typ zwracany metody lub tablicę.
C3533, C3539	Nie można zadeklarować parametru lub argumentu szablonu za pomocą słowa kluczowego `auto` .
C3535	Nie można zadeklarować metody lub parametru szablonu za pomocą słowa kluczowego `auto` .
C3536	Nie można użyć symbolu przed jego zainicjowaniem. W praktyce oznacza to, że zmienna nie może być używana do inicjowania się.
C3537	Nie można rzutować do typu zadeklarowanego za pomocą słowa kluczowego `auto` .
C3538	Wszystkie symbole na liście deklaratorów zadeklarowane za `auto` pomocą słowa kluczowego muszą być rozpoznawane jako ten sam typ. Aby uzyskać więcej informacji, zobacz Deklaracje i definicje.
C3540, C3541	Operatory sizeof`auto`.

Przykłady

Te fragmenty kodu ilustrują niektóre sposoby użycia słowa kluczowego auto .

Następujące deklaracje są równoważne. W pierwszej instrukcji zmienna j jest zadeklarowana jako typ int. W drugiej instrukcji zmienna k jest wywoływana jako typ int , ponieważ wyrażenie inicjowania (0) jest liczbą całkowitą.

int j = 0;  // Variable j is explicitly type int.
auto k = 0; // Variable k is implicitly type int because 0 is an integer.

Następujące deklaracje są równoważne, ale druga deklaracja jest prostsza niż pierwsza. Jednym z najbardziej atrakcyjnych powodów używania słowa kluczowego auto jest prostota.

map<int,list<string>>::iterator i = m.begin();
auto i = m.begin();

Poniższy fragment kodu deklaruje typ zmiennych iter , a elem po uruchomieniu for pętli i zakresu for .

// cl /EHsc /nologo /W4
#include <deque>
using namespace std;

int main()
{
    deque<double> dqDoubleData(10, 0.1);

    for (auto iter = dqDoubleData.begin(); iter != dqDoubleData.end(); ++iter)
    { /* ... */ }

    // prefer range-for loops with the following information in mind
    // (this applies to any range-for with auto, not just deque)

    for (auto elem : dqDoubleData) // COPIES elements, not much better than the previous examples
    { /* ... */ }

    for (auto& elem : dqDoubleData) // observes and/or modifies elements IN-PLACE
    { /* ... */ }

    for (const auto& elem : dqDoubleData) // observes elements IN-PLACE
    { /* ... */ }
}

Poniższy fragment kodu używa new operatora i deklaracji wskaźnika do deklarowania wskaźników.

double x = 12.34;
auto *y = new auto(x), **z = new auto(&x);

Następny fragment kodu deklaruje wiele symboli w każdej instrukcji deklaracji. Zwróć uwagę, że wszystkie symbole w każdej instrukcji rozpoznają ten sam typ.

auto x = 1, *y = &x, **z = &y; // Resolves to int.
auto a(2.01), *b (&a);         // Resolves to double.
auto c = 'a', *d(&c);          // Resolves to char.
auto m = 1, &n = m;            // Resolves to int.

Ten fragment kodu używa operatora warunkowego (?:) do deklarowania zmiennej x jako liczby całkowitej, która ma wartość 200:

int v1 = 100, v2 = 200;
auto x = v1 > v2 ? v1 : v2;

Poniższy fragment kodu inicjuje zmienną xinttypu , zmienną y do odwołania do typu const int, a zmienną fp do wskaźnika do funkcji zwracającej typ int.

int f(int x) { return x; }
int main()
{
    auto x = f(0);
    const auto& y = f(1);
    int (*p)(int x);
    p = f;
    auto fp = p;
    //...
}

Zobacz też

Słowa kluczowe
/Zc:auto (Typ zmiennej deduce)
sizeof operator
typeid
operator new
Deklaracje i definicje
Przykłady wyrażeń lambda
Inicjatory
decltype

Opinia

Czy ta strona była pomocna?

Last updated on 2025-11-07