Это ваше "ленивое инстанцирование" делает функциональный язык шаблонов с++ нечистым и слабопредсказуемым. Да и вообще, задача в топике не для шаблонов совсем.

(c) LOR

Ага, а эта ваша ленивость делает Haskell таким предсказуемым, что в haskell planet каждую неделю появляются опусы на тему "как нам расставить здесь bang patterns, чтобы не сожрать полгигабайта памяти в две строки". (Про "нечистый язык" я даже не хотел бы комментировать, поскольку в стандарте чуть более, чем дофига правил, созданных специально для того, чтобы невозможно было определить, инстанцирован шаблон или нет. Впрочем, я заберу свои слова, если мне приведут код, где A<X>::value == true iff инстанцирован B<X>.)
( http://udpn.livejournal.com/52799.html)

#gssns

2 comments recommend bookmark subscribe