Подобный механизм в C ++ называется «понятиями».Идея состоит в том, чтобы определить класс типов, определив требования любого типа, принадлежащего этому классу.Итераторы C ++ широко используют концепции, и C ++ 0x намеревался поддерживать для них прямой синтаксис (а не косвенные приемы шаблонов для выполнения концептуальных проверок, которые в настоящее время использует C ++), но, похоже, эта поддержка была исключена из стандарта.