Ковариантные возвращаемые типы

[shuffle_c]

Есть в C++ такая фича. Допустим, есть класс с виртуальным методом, возвращающим указатель на себя. Наследуясь от него, можно переопределить этот метод, причем в качестве возвращаемого типа допустимо использование указателя на производный класс. Этот механизм называется ковариантными возвращаемыми типами. Каноническим примером послужит метод clone,

Comments

[udpn]

Либа для ФП в С++ в разработке. Скажем ООП нет силами шаблонов!