Нет никакого требования, как реализована стандартная библиотека C ++ (или стандартная библиотека C в этом отношении).Все, что нужно библиотеке - это реализовать задокументированный и заданный интерфейс.Как это сделать, полностью зависит от реализации.Часть стандартных библиотек часто каким-то волшебным образом реализуется компилятором, и в C ++ 2011 есть несколько интерфейсов, которые на самом деле не могут быть реализованы с использованием стандартных языковых средств C ++ 2011!Прежде всего, это верно для некоторых черт в <type_traits>
, но есть и другие вещи.
Просто для справки: как реализован C ++ и что на самом деле означает соответствие стандарту, считается крайне расплывчатым.Соответствующий пункт 1.4 [intro.compliance].Это просто говорит о диагностике и о том, что должна делать программа, однако об ограничении ресурсов.