Как избежать такого рода повторения

Question

У меня есть код, подобный этому:

#include <string> 

class A{ 
public: 
    std::string &get(){ 
     return s; 
    } 

    const std::string &get() const{ 
     return s; 
    } 

    std::string &get_def(std::string &def){ 
     return ! s.empty() ? s : def; 
    } 

    // I know this might return temporary 
    const std::string &get_def(const std::string &def) const{ 
     return ! s.empty() ? s : def; 
    } 

private: 
    std::string s = "Hello"; 
}; 

мне интересно, есть простой способ, чтобы избежать повторения кода в ГЭТ (функции)?

Answer 1

wandbox example

Альтернатива const_cast: создание функции static шаблона, который принимает *this в качестве ссылки:

class A 
{ 
private: 
    template <typename TSelf, typename TStr> 
    static auto& get_def_impl(TSelf& self, TStr& def) 
    { 
     return !self.s.empty() ? self.s : def; 
    } 

public: 
    auto& get_def(std::string& str) 
    { 
     return get_def_impl(*this, str); 
    } 

    const auto& get_def(const std::string& str) const 
    { 
     return get_def_impl(*this, str); 
    } 
}; 

Это работает из-за template argument deduction rules - в общем, TSelf будет принимать как const и не- const Рекомендации.

Если вам необходимо зарегистрироваться в this внутри get_def_impl, используйте self.member.

Кроме того, вы можете использовать std::conditional или аналогичных объектов внутри get_def_impl делать разные вещи в зависимости от const -ness от TSelf. Вы также можете использовать ссылку на пересылку (TSelf&&) и обрабатывать корпус, в котором перемещаются this благодаря ref-qualifiers и perfect-forwarding.

Answer 2

Не отвечает на вопрос напрямую, но я обычно склоняюсь к const getter + non const setter - таким образом ваш класс получит уведомление, когда строка будет изменена и сможет действовать на нее (в будущем), если необходимо - без необходимости проходить и изменять все, что его использует.

Answer 3

В некоторых случаях использования можно также использовать шаблон функции, не являющиеся членов, как:

#include <type_traits> 
#include <string> 

template <class U, class R = std::conditional_t<std::is_const<U>::value, std::string const&, std::string& >> 
R get(U &u) { 
    return u.s; 
} 

template <class U, class R = std::conditional_t<std::is_const<U>::value, std::string const&, std::string& >> 
R get_def(U &u, typename std::remove_reference<R>::type& def) { 
    return u.s.empty() ? u.s : def; 
} 

struct S { 
    template <class U, class R> 
    friend R get(U &); 
    template <class U, class R> 
    friend R get_def(U &, typename std::remove_reference<R>::type&); 
private: 
    std::string s; 
}; 

int main() { 
    S s; 
    get(s) = "abc"; 
    //get(static_cast<const S &>(s)) = "abc"; // error: passing ‘const std::basic_string<char>’ as ‘this’... 
    std::string s2 = get(static_cast<const S&>(s)); 
}