2

Предположим, у меня есть абстрактный класс ("интерфейс") I1 и конкретный тип T:

struct I1 {
  virtual void M1() = 0;
  virtual ~I1();
};

struct T {
  virtual void M1();

  T(){};
  virtual ~T(){};
};

Есть функция f, принимающая I1.

void f(I1& i1) {
  i1.M1();
}

Как видно, у T есть виртуальный метод M1, полностью повторяющий сигнатуру I1.M1. При этом, T не наследуется от I1.

Вопрос возможно глупый, но тем не менее. Можно ли каким-либо образом конвертировать объект типа T в тип I1 и передать его в функцию f, чтобы внутри неё вызвался T.M1? Ответ "Нет, только через наследование" вполне приемлем.

4
  • Кастуйте, если уверены, что смещение M1 относительно адреса объекта будет совпадать для обоих классов. Но это неправильно. 9 авг 2017 в 12:37
  • 3
    Либо переходите на go - там такое поведение "из коробки". Впрочем, оно много ещё где.
    – KoVadim
    9 авг 2017 в 12:37
  • @KoVadim, собственно, Go - мой основной язык. Решил вспомнить C++, и возник подобный вопрос. Видимо, ответ - не ходи со своим самоваром в чужую Тулу.
    – Ainar-G
    9 авг 2017 в 12:39
  • В Go нет такого поведения, там просто другая семантика для встроенных интерфейсов. 12 янв 2020 в 12:09

1 ответ 1

5

Так можно сделать только если T будет наследником I1. Альтернативным вариантом будет использование шаблонной функции f, с ограничением на то, каким может быть принимаемый объект типа typename T. Ограничение лучше всего делать с помощью концептов, которых пока в языке нет. Поэтому делать их придётся с использованием различных техник метапрограммирования. Но не ясно, насколько Вам это реально нужно, т.к. в большом количестве случаев можно обойтись просто неограниченным T, который даст ошибку компиляции, если у него нет соответствующей функции. Т.е. вот такой простой вариант:

template <typename I>
void f(I& i) {
  i.M1();
}

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.