
16 Jun
2012
16 Jun
'12
2:30 p.m.
On 06/15/12 21:19, Daniel Larimer wrote: [snip]
Clearly type erasure has value or we wouldn't be using boost::function, boost::any, void*, or any number of other techniques to erase types. It is also particularly useful for migrating from heavily templated code to non-templated implementations.
Spirit programs take a long time to compile because they are heavily templated: http://article.gmane.org/gmane.comp.parsers.spirit.devel/3746 http://article.gmane.org/gmane.comp.parsers.spirit.general/23421 could type_erasure be used to speed up the compile time (with, I assume, some slow down in run-time)? [snip]