0

Como faço para alterar o tipo de retorno de uma função de classe mãe na classe filha?
Por exemplo:

class Mother {
  public:
    void Get() {}
};

template <typename Type>
class Child : public Mother {
  public:
    Type Get() {
        // TODO
    }
};

int main()
{
    Mother* m_ptr = new Child<int>();

    auto x = ((Child<>)m_ptr)->Get();
}

Assim, ao acessar a função Get() de m_ptr, deve ser implicitamente retornado um valor int.

0

2 Respostas 2

2

Não faz, se a assinatura do método é diferente então eles são completamente diferentes e não há herança entre eles a não ser que o tipo seja covariante, o que não é o caso. Se haverá herança deve respeitar o contrato.

3
  • Em c++ o tipo de retorno não faz parte da assinatura do método. E sim, em alguns casos, é válido ter assinaturas diferentes: stackoverflow.com/questions/4665117/…
    – user5299
    21/09/2017 às 1:36
  • Se a assinatura for diferente, funcionará? 21/09/2017 às 2:05
  • @FelipeNascimento dentro do que você propôs, não, é possível se mudar completamente o jeito de fazer tudo, mas aí não tem mais o problema que você descreveu na pergunta, passa ser outra coisa.
    – Maniero
    21/09/2017 às 11:25
1

Você pode usar o CRTP para resolver o problema, só que os tipos tem que ser conhecidos em tempo de compilação. Por exemplo:

#include <iostream>

template <template <typename> class CLASS, typename T>
class Mother
{
public:
    T get() const { return static_cast<const CLASS<T>*>(this)->get();}
};

template <typename T>
class Child: public Mother<Child, T>
{
public:
    Child(T x) : v{x} {}
    T get() const {return v;}

    T v;
};

// Função criada só para mostrar a herança estática funcionando
template <template <typename> class CLASS, typename T>
T doit(const Mother<CLASS, T>& x)
{
    return x.get();
}

int main()
{
    auto f = Child<float>(6.6); // f é do tipo Child<float>
    auto c = Child<int>(5);      // c é do tipo Child<int>
    Mother<Child, int> m = c;   // m é do tipo Mother<Child, int>

    std::cout << doit(c) << std::endl;
    std::cout << doit(f) << std::endl;
}

Note que agora você pode chamar a função doit mesmo que os tipos de retorno sejam diferentes

Veja funcionando no Coliru

2
  • Como você colocou Mother<Child, int>, funcionará apenas para números? 21/09/2017 às 9:02
  • @FelipeNascimento Como tinha dito no início, vc tem que conhecer os tipos em tempo de compilação, i.e., Mother<Child, int> tem como filho Child<int>, enquanto que Mother<Child, char> tem como filho Child<char>. Embora pareça uma limitação, na prática não o é devido ao fato que a maioras das aplicações as usa como interface de funções, conforme vc pode ver na implementação da função doit. Devido ao sistema de template a função é instanciada para cada tipo que é passada, tornado-a transparente aos tipos
    – user5299
    21/09/2017 às 11:33

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .