Объявляется переменная, инициализируемая вызовом функции. Это позволяет избежать повторения типа и обеспечивает отсутствие неожиданных преобразований при изменении возвращаемого типа функции. Например, в этом фрагменте кода переменная var имеет тот же тип, что и возвращаемый тип myfunc():

#include<cstdint>

int32_t myfunc();

int foo(){
  auto var=myfunc();
  return var;
}

Объявляется переменная, инициализируемая инициализатором фундаментального типа. Тип T не является фундаментальным, если std::is_fundatmental<T>::value имеет значение false. Список фундаментальных типов см. в разделе Фундаментальные типы. Например, тип var в этом фрагменте кода std::vector<int>::iterator.

std::vector<int> v = { 1, 2, 3};
auto var = v.begin();

Обратите внимание, что указатель не является фундаментальным типом.

Объявляются параметры базовой лямбда-функции. Затем функция может принимать несколько типов параметров, подобных шаблону функции. Например, пользовательская реализация std::sort в этом фрагменте кода может использоваться для сортировки векторов ints, floats или других арифметических типов.

//sort in ascending order
std::sort(v.begin(), v.end(),
              [](auto lhs, auto rhs){
                  return lhs < rhs});

Для объявления шаблона функции используется синтаксис конечного возвращаемого типа. В этом случае вычет по типу отсутствует. auto ключевое слово используется как часть альтернативного синтаксиса для объявления шаблонов функций. Этот фрагмент кода показывает пример синтаксиса конечного возвращаемого типа.

template<typename T, typename U>
auto subtract(T lhs, U rhs) -> decltype(lhs - rhs);

Polyspace ® помечает использование auto спецификатор, за исключением случаев, когда он используется в одном из вариантов, перечисленных в предыдущем разделе.

Polyspace помечает использование auto объявление переменной, инициализированной с помощью std::initializer_list фундаментального типа.

Polyspace не помечает использование decltype(auto).