O que é Zero-cost abstraction?

A zero-cost abstraction compiles to the code a programmer would have written by hand without it: the abstraction’s convenience is resolved at compile time and leaves no run-time trace. The formulation comes from C++: “what you don’t use, you don’t pay for; and what you do use, you couldn’t hand code any better” (Stroustrup).