This is called "expression templates" https://en.wikipedia.org/wiki/Expression_templates