Has anyone proposed something like this?

interface sizeable {
    size_t size() cost;

bool too_big(sizeable thing) {
      return thing.size() > 100;

void main() {
    std::cout << too_big(string("sdfkjhsdfjh")) << std::endl;
    std::cout << too_big(vector<int>(1000,0)) << std::endl;

the precompiler can then generate specializations as needed, in the same way that templates generate specializations, so the resulting code can be as efficient as templates

the advantage is that

 - it's just as efficient as templates
 - it's easier to teach/understand
 - avoids virtual stuff
 - avoids complex inheritance
 - works with existing libs
 - should result in much better error messages than templates