Обсуждаю статью voidbent-а (он же Вова Фролов) "General policy pattern". Она относится к class metaprogramming, на основе C++. Идея в том, чтобы в некоей библиотеке сложить все классы compile-time policy в один и какие выгоды это даёт. Спор в комментах.
At the time of writing, the only compiler that I know of which supports the separation model is the Comeau C++ compiler - написано в статье на CodeGuru. А Страуструп в интервью говорит, что нужен механизм ещё более совершенный, чем separation model.
Продолжаем набивать журнал контентом. Что будет, если указателю на функцию-член присвоить указатель на виртуальный метод предка, а потом вызвать её на экземпляре потомка? А для невиртуальной функции? ( текст проверочной программы )