哪些标准 C++ 类不能在 C++ 中重新实现？

我正在查看 C++0x 的计划并发现std::initializer_list用于在用户类中实现初始值设定项列表。此类无法在 C++ 中实现 不使用自身，或者使用一些“编译器魔法”。如果可以的话，就不需要它了，因为无论您使用什么技术来实现initializer_list可用于在您自己的类中实现初始值设定项列表。

还有哪些类需要某种形式的“编译器魔法”才能工作？标准库中有哪些类无法由第三方库实现？

编辑：也许我应该说实例化而不是实现。更重要的是，此类与语言功能直接相关（如果没有initializer_list).

与 C# 的比较可能会澄清我的疑问：IEnumerable 和 IDisposable 实际上是硬编码到语言功能中的。我一直认为 C++ 没有这个问题，因为 Stroustrup 试图让所有东西都可以在库中实现。那么，是否还有其他类/类型与语言特性有着千丝万缕的联系。

std::type_info是一个简单的类，尽管填充它需要typeinfo：编译器构造。

同样，异常是普通对象，但抛出异常需要编译器魔法（异常在哪里分配？）。

对我来说，问题是“我们能有多接近std::initializer_list没有编译器魔法吗？”

看着维基百科 http://en.wikipedia.org/wiki/C%2B%2B0x#Initializer_lists, std::initializer_list<typename T>可以通过看起来很像数组文字的东西来初始化。让我们尝试给予我们的std::initializer_list<typename T>一个采用数组的转换构造函数（即采用单个参数的构造函数T[]):

namespace std {
     template<typename T> class initializer_list {
         T internal_array[];
         public:
         initializer_list(T other_array[]) : internal_array(other_array) { };

         // ... other methods needed to actually access internal_array
     }
}

同样，一个类使用std::initializer_list通过声明一个接受单个构造函数来实现这一点std::initializer_list参数——又名转换构造函数：

struct my_class {
    ...
    my_class(std::initializer_list<int>) ...
}

所以这一行：

 my_class m = {1, 2, 3};

使编译器思考：“我需要调用构造函数my_class; my_class有一个构造函数，它需要一个std::initializer_list<int>;我有一个int[]文字;我可以转换一个int[] to a std::initializer_list<int>;我可以将其传递给my_class构造函数”（在告诉我 C++ 不允许链接两个隐式用户定义转换之前，请阅读答案的末尾).

那么这有多接近呢？首先，我缺少初始化列表的一些功能/限制。我不强制执行的一件事是初始化列表只能用数组文字构造，而我的initializer_list也将接受一个已经创建的数组：

int arry[] = {1, 2, 3};
my_class = arry;

此外，我没有费心去搞乱右值引用。

最后，如果编译器隐式地将两个用户定义的转换链接在一起，则此类只能按照新标准规定的方式工作。这在正常情况下是被明确禁止的，因此该示例仍然需要编译器魔法。但我认为（1）类本身是一个普通类，并且（2）所涉及的魔力（强制执行“数组文字”初始化语法并允许两个用户定义的转换隐式链接）比看起来要少乍一看。