Функции (методы) расширения

[apolukhin]

Перенос предложения: голоса +5, -1
Aвтор идеи: mezastel

В текущей парадигме, чтобы добавить то или иное поведение классу, который нельзя менять, используются глобальные функции. Типичный пример - это строковые алгоритмы в Boost вроде boost::to_lower_copy(). Проблема с этими функциями - они все глобальны, их сложно искать, и цепочные вызовы таких функций вылгядят как f(g(x)) вместо x.g().f(). Хочется получать то же, что имеют разработчики C#, где методы расширения реализуются специальным ключевым словом.

Я предлагаю в С++ сделать то же самое вплоть до синтаксиса, то есть

namespace std
{
  static std::string to_lower_copy(this string s)
  {
    ...
  }
}

Ключевое слово this тут помечает функцию как функцию-расширение, так что ее можно использовать

• Естественным путем, т.е. my_string.to_lower_copy()
• Статическим путем, т.е. std::to_lower_copy(my_string)

Второй способ нужен в случае коллизий между member functions и extension functions.

[apolukhin]

yndx-antoshkka, 5 декабря 2016, 13:51
Этим уже занимаются Bjarne Stroustrup и Herb Sutter: https://wg21.link/p0251

[apolukhin]

Точнее, Bjarne Stroustrup и Herb Sutter занимаются UFCS / "оператор точка" https://wg21.link/p0251 , см обсуждение в #100

Предложение только на методы расширения, без дополнительных сложностей с оператором точка, лишено множества проблем, обнаруженных в комитете. Можно попробовать взяться, но будет очень тяжело.