General policy и бритва Оккама

[singalen]

Обсуждаю статью voidbent-а (он же Вова Фролов) "General policy pattern".
Она относится к class metaprogramming, на основе C++.
Идея в том, чтобы в некоей библиотеке сложить все классы compile-time policy в один и какие выгоды это даёт.
Спор в комментах.

Comments

[(Anonymous)]

Я не припоминаю случаев, когда бы у меня было более двух классов-полиси на класс.

Потому что сложность библиотеки с каждой новой полиси растёт экспоненциально. Даже Александреску нигде больше 4-х полиси не использует. А в случае с ГП мы можем все аспекты библиотеки смело выносить в полиси.
--
void

И вопрос

[singalen]

Зачем нужна такая библиотека и легко ли будет её использовать?
А сложность написания? А переносимость?

Re: И вопрос

[(Anonymous)]

Сложность написания библиотеки с каждой полиси в ГП как я уже и говорил растёт линейно. Т.е. полиси можно наращивать итеративно. Библиотеку будет использовать легко, и она будет переносимой (не только с платформы на платформу, но и из контекста в контекст).

Например стандарт С++ говорит что std::basic_string может иметь ref-counted implementation. Это говорит о том что мы можем использовать std::string в многопоточности только если конкретная реализация STL-я гарантирует что std::string не будет ref-counted. А почему не дать возможность пользователю самому управлять этим аспектом?

Какая библиотека переносимее, в которой пользователь может управлять абсолютно всем или в которой пользователь может управлять только выделением памяти?

Кстати в stl-е из за этого и сделали всего одну полиси, потому что в модели когда все полиси передаються отдельным параметром структурная сложность библиотеки растёт экспоненциально.

Re: И вопрос

[(Anonymous)]

Позиция stl-я и комитета стандартизации: Всё, чего я не знаю, нету. Например нету многопоточности. Но мы многопоточность имели в виду.

Позиция алексанреску и Loki : Это не правильно. Решения нельзя хардокить. Надо любые спорные аспекты выносить в policy.

Позиция моя и ГП : Надо любые аспекты (а не только спорные) выносить в полиси. Есть способ наращивать полиси линейно.