decltype против auto

Как я понимаю, и decltype, и auto будут пытаться определить тип чего-либо.

Если мы определим:

int foo () {
    return 34;
}

Тогда оба объявления законны:

auto x = foo();
cout << x << endl;

decltype(foo()) y = 13;
cout << y << endl;

Подскажите, пожалуйста, в чем основное различие между decltype и auto?

ForceBru
Редактировал вопрос 20-го февраля 2016 в 5:21
Программирование
c++ type-inference
23-го августа 2012 в 2:41
22 просмотров
Комментарии к вопросу (3)
Решение

decltype выдает заявленный тип выражения, которое ему передается. auto делает то же самое, что и вычитание типа шаблона. Так, например, если у вас есть функция, которая возвращает ссылку, auto все еще будет значением (вам нужно auto&, чтобы получить ссылку), но decltype будет точно соответствовать типу возвращаемого значения.


#include 
int global{};
int& foo()
{
   return global;
}

int main()
{
    decltype(foo()) a = foo(); //a is an `int&`
    auto b = foo(); //b is an `int`
    b = 2;

    std::cout
Mankarse
Редактировал ответ 6-го сентября 2013 в 11:49
Комментарии (0)

auto (в контексте, где он определяет тип) ограничивается определением типа переменной, для которой есть инициализатор. decltype - это более широкая конструкция, которая, за счет дополнительной информации, выводит тип выражения.

В тех случаях, когда можно использовать auto, она более лаконична, чем decltype, так как вам не нужно предоставлять выражение, из которого будет выведен тип.

auto x = foo();                           // more concise than `decltype(foo()) x`
std::vector v{ foo() };  // cannot use `auto`

Ключевое слово auto также используется в совершенно несвязанном контексте, при использовании трейлинг возвращаемых типов для функций:

auto foo() -> int;

Здесь auto является ведущим только для того, чтобы компилятор знал, что это объявление с трейлинговым типом возврата. Хотя приведенный выше пример можно тривиально преобразовать к старому стилю, в общем программировании он полезен:

template 
auto sum( T t, U u ) -> decltype(t+u)

Обратите внимание, что в этом случае auto не может быть использовано для определения возвращаемого типа.

Комментарии (0)

Обычно, если вам нужен тип для переменной, которую вы собираетесь инициализировать, используйте auto. decltype лучше использовать, когда вам нужен тип для чего-то, что не является переменной, например, для возвращаемого типа.

Комментарии (0)