C++11 можно ли создать интерфейс с функцией, которая позволяет использовать различные типы возврата T или const T&?
Я хочу создать интерфейс для классов, возвращающих сообщение. Моя проблема в том, что иногда лучше возвращать строку, а иногда константную строку&. Как лучше всего предоставить наследующим классам возможность выбирать тип возвращаемого значения?
struct Verbose{
// my message is a class member
virtual const string& getMsg()const=0;
// my message is created in the function
virtual string getMsg()const=0;
};
Вместо этого интерфейса мне бы хотелось что-то вроде этого, чтобы обеспечить эту гибкость
struct Verbose{
virtual myPrintableType getMsg()const=0;
};
Ответы 3
Функция не может выбирать — вы можете вернуть только один тип. Перегрузки (одно и то же имя функции с разными типами) работают только с типами параметров. И да, если ваши функции будут принимать разные типы параметров, они также могут возвращать разные типы результатов.
Однако вызывающая сторона, безусловно, может вызвать ту или иную функцию, если она может принять такое решение. Как будто у меня есть этот API:
template <typename T> const T& get() const requires (!std::is_scalar_v<T>);
template <typename T> T get() const requires (std::is_scalar_v<T>);
Конечно, я могу это сделать только потому, что вызывающий абонент знает, что он получит. И я, вероятно, со временем удалю скалярную версию.
В вашем случае сообщения часто представляют собой просто базовые классы, и вы, как правило, всегда можете вернуть std:unique_ptr или std::shared_ptr (в зависимости от того, как работают ваши сообщения). Или, если это действительно просто строки, просто выберите одну версию.
К сожалению, невозможно сделать именно то, что вы описали, поскольку перегрузка на основе типа возвращаемого значения невозможна. Однако вы можете использовать константность
struct Verbose{
virtual const string& getMsg()const=0;
//Either return string
virtual string getMsg()=0;
//Or a reference
virtual string& getMsg()=0;
};
Если вы хотите использовать копию строки в вызывающем коде, вы можете использовать функцию const, которая возвращает константную ссылку. Эта перегрузка функции более «универсальна», поскольку позволяет пользователю решать, что делать со строкой, и не заставляет его выполнять копирование.
Вы можете использовать ref-квалификаторы для своих функций-членов:
struct Verbose{
virtual const std::string& getMsg() const& = 0;
virtual std::string getMsg() const&& = 0;
};
struct Derived: Verbose {
std::string s{"xxx"};
const std::string& getMsg()const& {
std::cout << "const string&\n";
return s;
}
std::string getMsg()const&& {
std::cout << "string\n";
return "yyy";
}
};
Первая версия будет вызываться только в том случае, если ваш объект является l-значением, т. е. считается безопасным возвращать поле-член по константной ссылке. Вторая версия будет называться для r-значений.
Derived d;
std::cout << d.getMsg() << std::endl; // calls 1st overload
std::cout << Derived{}.getMsg() << std::endl; // calls 2nd overload
Это предполагает, что вы хотите иметь разное поведение в зависимости от категории значений. Если это не так и вам нужны разные типы возвращаемых значений для одной и той же категории значений, вам понадобятся две разные функции.
тип возвращаемого значения не является частью сигнатуры функции, поэтому возникает ошибка переопределения . Можете ли вы проиллюстрировать, чего вы на самом деле хотите достичь, чтобы иметь возможность дать вам соответствующий ответ?