为什么C ++不允许您使用构造函数的地址？

是否有某种特定的原因会在概念上破坏该语言，还是有某种特定的原因在某些情况下在技术上不可行？

用法将与新运算符一起使用。

编辑：我将放弃希望让我的“新操作员”和“新操作员”变得直截了当并保持直率。

问题的关键是：构造函数为何如此特殊？当然要记住，语言规范告诉我们什么是合法的，但不一定是道德的。合法的东西通常由与该语言其余部分在逻辑上一致的东西，简单明了的东西以及编译器可以实现的东西告知。标准委员会权衡这些因素的可能依据是经过深思熟虑的，因此很有趣。

指向成员的指针函数仅在具有相同签名的多个成员函数时才有意义-否则指针将只有一个可能的值。但这对于构造函数是不可能的，因为在C ++中，同一类的不同构造函数必须具有不同的签名。

Stroustrup的替代方法是为C ++选择一种语法，其中构造函数的名称可以不同于类名-但这将避免现有ctor语法的某些非常优雅的方面，并使该语言更加复杂。对我来说，看起来价格很高，只是允许很少需要的功能，可以通过将对象的初始化从ctor“外包”到另一个init函数（可以将指针指向成员的普通成员函数）“轻松”地模拟出来。创建）。

构造函数是当对象尚不存在时调用的函数，因此它不能是成员函数。它可能是静态的。

在分配内存之后但尚未完全初始化之前，实际上使用this指针调用了构造函数。结果，构造函数具有许多特权功能。

如果您有一个指向构造函数的指针，则它要么必须是静态指针（类似于工厂函数），要么必须是指向在分配内存后立即被调用的特殊指针。它不能是普通的成员函数，而仍可以用作构造函数。

想到的唯一有用的目的是一种特殊的指针，可以将其传递给new运算符，以使其间接使用哪个构造函数。我想这可能很方便，但是它需要大量的新语法，并且可能的答案是：他们考虑了这一点，这是不值得的。

如果您只想重构通用的初始化代码，那么普通的内存函数通常是一个足够的答案，您可以找到其中一个指针。

这是因为它们不是构造函数的返回类型，并且您没有在内存中为构造函数保留任何空间。就像您在声明期间使用变量的情况下一样。例如：如果您编写简单变量X，则编译器将生成错误，因为编译器将无法理解其含义。但是当你写Int x时；然后编译器知道它是int类型的data变量，因此它将为变量保留一些空间。

结论：-因此得出的结论是，由于排除了返回类型，因此它将无法获取内存中的地址。

我会做出一个疯狂的猜测：

C ++构造函数和析构函数根本不是函数：它们是宏。它们被内联到创建对象的范围和销毁对象的范围中。反过来，没有构造函数或析构函数，对象只是IS。

实际上，我认为该类中的其他函数也不是函数，而是DONT会内联的内联函数，因为您要获取它们的地址（编译器意识到您已经进入了该内联函数，而不是内联或内联代码到函数中，优化该功能），然后该功能似乎“仍然存在”，即使您未解决该问题也不会。

C ++“对象”的虚拟表与JavaScript对象不同，您可以在其中获取其构造函数并在运行时通过来创建对象new XMLHttpRequest.constructor，而是指向匿名函数的指针的集合，这些指针充当与该对象进行接口的方式，不包括创建对象的能力。而且“删除”对象甚至没有意义，因为就像试图删除一个结构一样，您不能：它只是一个堆栈标签，只需在另一个标签下随意写就可以：使用一个类作为4个整数：

/* i imagine this string gets compiled into a struct, one of which's members happens to be a const char * which is initialized to exactly your string: no function calls are made during construction. */
std::string a = "hello, world";
int *myInt = (int *)(*((void **)&a));
myInt[0] = 3;
myInt[1] = 9;
myInt[2] = 20;
myInt[3] = 300;

没有内存泄漏，没有问题，除了您实际上浪费了为对象接口和字符串保留的一堆堆栈空间，但是这不会破坏您的程序（只要您不尝试使用它）再次作为字符串）。

实际上，如果我以前的假设是正确的：字符串的全部开销就是存储这32个字节和常量字符串空间的开销：这些函数仅在编译时使用，并且在插入后也可能被内联和抛弃对象的创建和使用（就像您正在使用结构，并且仅在没有任何函数调用的情况下直接引用它一样，请确保存在重复的调用而不是函数跳转，但这通常更快并且使用更少的空间）。本质上，每当您调用任何函数时，编译器都将用该指令替换该调用以按实际方式进行操作，但语言设计人员已设置了例外情况。

简介：C ++对象不知道它们是什么。与它们接口的所有工具都是静态内联的，并且在运行时会丢失。这使得使用类和使用数据填充结构一样高效，并且直接使用该数据而无需调用任何函数（这些函数是内联的）。

这与COM / ObjectiveC和javascript的方法完全不同，后者会动态保留类型信息，但会浪费运行时开销，内存管理和构造调用，因为编译器无法丢弃此信息：这是必要的用于动态调度。反过来，这使我们能够在运行时与程序“对话”，并通过具有可反射的组件在运行时对其进行开发。