Могу ли я использовать auto или decltype вместо конечного типа возврата? - PullRequest
Новая
       17

Могу ли я использовать auto или decltype вместо конечного типа возврата?

4 голосов
/ 18 апреля 2019

Я нахожу trailing return type так легко определить возврат функции, которая возвращает сложные типы, например: 

auto get_diag(int(&ar)[3][3])->int(&)[3]{ // using trailing return type
    static int diag[3]{
        ar[0][0], ar[1][1], ar[2][2]
    };
    return diag;
}

auto& get_diag2(int(&ar)[3][3]){ // adding & auto because otherwise it converts the array to pointer
    static int diag[3]{
        ar[0][0], ar[1][1], ar[2][2]
    };
    return diag;
}

int main(){

    int a[][3]{
        {1, 2, 3},
        {4, 5, 6},
        {7, 8, 9}
    };

    decltype(get_diag(a)) diag{
        get_diag(a)
    };

    for (auto i : diag)
        std::cout << i << ", ";
    std::cout << std::endl;

    decltype(get_diag2(a)) diag2{
        get_diag2(a)
    };

    for (auto i : diag2)
        std::cout << i << ", ";
    std::cout << std::endl;


    std::cout << std::endl;
}
  • Я хочу знать, в чем разница между функциями get_diag и get_diag2. Итак, до тех пор, пока вывод совпадает, почему мне нужно использовать конечный тип возврата?

1 Ответ

8 голосов
/ 18 апреля 2019 
auto& get_diag2(int(&ar)[3][3]){ // adding & auto because otherwise it converts the array to pointer
    static int diag[3]{
        ar[0][0], ar[1][1], ar[2][2]
    };
    return diag;
}

Не будет работать в компиляторе C ++ 11. Использование auto без конечного возвращаемого типа было добавлено в C ++ 14 и действует подобно тому, как работает auto при использовании его для переменной. Это означает, что он никогда не вернет ссылочный тип, поэтому вы должны использовать auto&, чтобы вернуть ссылку на то, что вы хотите вернуть.

Если вы не знаете, должны ли вы возвращать ссылку или значение (это часто происходит в универсальном программировании), тогда вы можете использовать decltyp(auto) в качестве типа возврата. Например 

template<class F, class... Args>
decltype(auto) Example(F func, Args&&... args) 
{ 
    return func(std::forward<Args>(args)...); 
}

вернется по значению, если func вернется по значению, и вернется по ссылке, если func вернет ссылку.

Короче говоря, если вы используете C ++ 11, вы должны указать тип возвращаемого значения, либо передний, либо как конечный тип возвращаемого значения. В C ++ 14 и выше вы можете просто использовать auto / decltype(auto) и позволить компилятору разобраться с этим за вас.

...