Функция шаблона в классе

Question

Я не знаю, что делать. Я всегда получаю ошибку, используя простой класс и простую функцию шаблона. Я прочитал все другие решения, но они мне не помогли.

Рядом с некоторыми другими классами у меня есть простой класс данных:

class Data{ 
public: 
    template <class T> 
    T dat(); 
    int id; 
    union{ 
     char c; 
    int i; 
    double d; 
    }; 
}; 

и функцию DAT:

template <class T> 
T Data::dat(){ 
    if(id == 1) return i; 
    if(id == 2) return d; 
    if(id == 3) return c; 
} 

Как вы можете видеть, я хочу проверить Ид и возвращения Int, double или char. Теперь я пытался напечатать значение в главной функции, как это:

Data test; 
test.id=1; 
test.i = 12; 
cout<<test.dat(); 

Но я всегда получаю сообщение об ошибке:

Error: Could not find a match for Data::dat<Data::T>() needed in main(int, char**). 

Где проблема ??

Спасибо

Answer 1

Используйте это:

cout<<test.dat<int>(); 

Answer 2

dat() не имеет параметров, связанных с T, поэтому компилятор не может вывести T из вызова, и она должна быть предоставлена ​​в явном виде, например:

cout << test.dat<int>(); 

---

Кроме того, несут ум вы должны implement dat() in the header file.

Answer 3

Чтобы выразить это, вы хотите, чтобы возвращаемый тип функции был равен , зависит от его поля id; другими словами, динамически. Шаблоны разрешаются во время компиляции, поэтому они не могут помочь здесь . Вам нужно будет вернуть что-то вроде boost::variant или boost::any, которое поддерживает такую ​​динамическую печать .

Answer 4

VS2012 говорит "C2783 ошибка: 'T Data :: Дат (аннулируются)': не может вывести аргумент шаблона для 'T'"

Вам просто нужно сказать функцию dat, что T является:

cout<<test.dat<int>(); 

Тип шаблона может быть выведен, если вы передадите шаблонный параметр, но он не может угадать тип возврата.

Answer 5

Я не знаю, что делать. Я всегда получаю ошибку, используя простой класс и простую функцию шаблона. Я прочитал все другие решения, но они мне не помогли.

Мне кажется, что вы хотите создать дискриминационный союз.

Ваша реализация не будет работать, потому что тип возврата функции шаблона определяется во время компиляции (т. Е. До того, как вы установите значение в id и попытаетесь вызвать функцию.

Решение:

class Data 
{ 
    enum value_type { 
     int_val, char_val, double_val 
    } discriminator; // private (the user doesn't see this) 
        // this replaces your id 

    union{ 
     char c; 
     int i; 
     double d; 
    } value; 

public: 
    class wrong_type_error: public std::logic_error 
    { 
    public: 
     wrong_type_error(const std::string& msg): std::logic_error(msg) {} 
    }; 

    explicit Data(const char c) 
    : discriminator(Data::char_value) 
    , value.c(c) 
    { 
    } 

    explicit Data(const int i) 
    : discriminator(Data::int_value) 
    , value.i(i) 
    { 
    } 

    explicit Data(const double d) 
    : discriminator(Data::double_value) 
    , value.d(d) 
    { 
    } 

    // don't put this here: int id; 

    // this part can be optimized to simpler (more idiomatic) code 
    template<typename T> T get() const; // undefined 
    template<> int get() const { 
     if(discriminator != Data::int_val) 
      throw wrong_type_error("Cannot return a int from Data instance"); 
     return value.i; 
    } 
    template<> char get() const { 
     if(discriminator != Data::char_val) 
      throw wrong_type_error("Cannot return a char from Data instance"); 
     return value.c; 
    } 
    template<> double get() const { 
     if(discriminator != Data::double_val) 
      throw wrong_type_error("Cannot return a double from Data instance"); 
     return value.d; 
    } 
}; 

код клиент:

Data test(10.5); 
cout<<test.get<double>(); 

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