Bagaimana cara mengembalikan tipe data yang benar dalam templat?

#include <iostream>
using namespace std;

template <class X, class Y>
Y big(X a, Y b)
{
   if (a > b)
      return (a);
   else return (b);
}

int main()
{
   cout << big(32.8, 9);
}

Di sini saya menggunakan template di CPP, jadi ketika saya memanggil fungsi bigmem-bypass argumen doubledan intmengetik, saya ingin jawaban balik yang double. Ketik di sini, ia mengembalikan 32bukan 32.8.

Bagaimana saya mendapatkan hasil yang saya inginkan? Bagaimana cara menulis jenis bigfungsi pengembalian yang tepat ?

Suatu fungsi hanya dapat memiliki satu tipe pengembalian yang harus diketahui pada waktu kompilasi. Namun, Anda dapat menggunakan std::common_type, untuk mengembalikan tipe yang kedua parameter dapat secara implisit dikonversi.

Itu akan menjadi

#include <type_traits>
template <class X, class Y>
typename std::common_type<X,Y>::type big(X a, Y b)
{
   if (a > b)
      return a;
   else return b;
}

Dan untuk memeriksa apakah itu benar-benar mengembalikan doubleketika dilewati intdan doublekita dapat melakukan:

int main() {
    auto x = big(4.2,42);
    std::cout << std::is_same<decltype(x),double>::value;
}

Yang dicetak

1

PS: std::common_typedapat menggunakan operator ternary di belakang layar dan dengan demikian solusi ini tidak jauh berbeda dari jawaban lain ( auto+ ternary). Kekuatan sebenarnya std::common_typeadalah ia menerima sejumlah parameter.

Jenis pengembalian harus ditentukan pada waktu kompilasi. Anda dapat menggunakan trailing return dengan operator bersyarat , jika Anda terbatas pada c ++ 11 .

template <typename X, typename Y>
auto big(X&& a, Y&& b) -> decltype(a > b ? a : b) // ---> like this
{
   return  a > b ? a : b;
}

Lihat langsung

Namun, jika Anda memiliki akses ke c ++ 14 atau autoreturn yang lebih tinggi sudah cukup, karena kompiler akan menyimpulkan tipe yang tepat jika Anda menggunakannya bersama dengan operator kondisional sebagai berikut:

template <typename X, typename Y>
auto big(X a, Y b)
{
   return  a > b ? a : b;
}

Lihat langsung

Dalam menandai jenis pengembalian Anda sebagai Ydan meneruskan intsebagai parameter kedua Anda, Anda telah dengan jelas menunjukkan bahwa itu Yadalah int. Tidak ada kejutan di sini.

#include <iostream>

template <typename X, typename Y>
decltype(auto) big(const X& a, const Y& b)  // return type can just be auto as well 
{
    return a > b ? a : b;
}

int main()
{
    std::cout << big(32.8, 9) << '\n';
    std::cout << big(9, 32.8) << '\n';
    std::cout << big(32.8, 90) << '\n';
    std::cout << big(90, 32.8) << '\n';
}

Ini mencetak keempat nilai yang benar ke layar.

https://godbolt.org/z/fyGsmo

Satu hal yang penting untuk dicatat adalah bahwa ini hanya akan berfungsi untuk jenis yang dapat dibandingkan satu sama lain, yaitu, kompiler secara implisit akan mengkonversi satu jenis ke yang lain untuk perbandingan.

PENTING : Parameter perlu diambil dengan referensi untuk menghindari perilaku yang tidak terdefinisi. Ini ada hubungannya dengan tipe kembalinya aku dengan keras kepala menempel. decltype(auto)dapat mengembalikan referensi ke tipe. Jika Anda mengembalikan sesuatu yang lokal ke fungsi (jumlah argumen), Anda mendapatkan perilaku yang tidak terdefinisi.

Ini bukan solusi yang tepat untuk situasi Anda yang tepat, dalam semua kemungkinan - jawaban lain cenderung lebih dekat dengan apa yang Anda inginkan.

Namun, jika Anda benar - benar perlu mengembalikan tipe yang sama sekali berbeda pada saat runtime karena suatu alasan, solusi yang benar (karena c ++ 17 ) adalah dengan menggunakan a std::variant, yang merupakan jenis penyatuan tipe-aman.

#include <variant>

template <typename X, typename Y>
std::variant<X, Y> max(X a, Y b) {
  if (a > b)
    return std::variant<X, Y>(std::in_place_index_t<0>, a);
  else
    return std::variant<X, Y>(std::in_place_index_t<1>, b);
}

Perhatikan bahwa kemudian tanggung jawab ada pada penelepon untuk menangani nilai yang dikembalikan, kemungkinan besar menggunakan std::visitatau sejenisnya.

Ia mengembalikan int karena Y adalah sebuah int dan ia melemparkan 32,8 ke dalamnya. Ketika Anda memanggil big 32,82 adalah float, tetapi 8 adalah int dan tipe pengembalian fungsi adalah Y, yang juga int.

Anda tidak dapat benar-benar memperbaiki ini karena Anda perlu tahu pada saat runtime jenis pengembalian besar, jadi buatlah dan b jenis yang sama seperti ini:

    #include <iostream>
    using namespace std;

    template <typename X>

    X big (X a, X b)
    {
    if (a>b)
    return a;

    else return b;
    }

    int main()
    {
    cout<< big (32.8, 9.0);
    }