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

#include<cstdint>

int32_t myfunc();

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

Вы объявляете переменную, которую вы инициализируете с неосновным инициализатором типа. Тип T не является фундаментальным, если std::is_fundatmental<T>::value является ложным. Список основных типов см. в разделе Основные типы. Для примера - тип 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});

Для объявления шаблона функции используется конечный синтаксис типа возврата. В этом случае вычет по типу отсутствует. The 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).