Eigenpoll : D wish list : Concepts

In template metaprogramming, a type of template might follow something that Boost libraries calls a \"type concept\". However, nothing assures us that the type actually implements the members needed to be used aside from a compiler error which might be untintuitive. Thus, a compile-time structure that defines what the type should look like (the concept) could be made for more intuitive error messages and might ease the abuse of a library that uses templates.

Report this item for cleanup