如何定义一个只能在栈上生成对象的类

[Mq-b]

如何定义一个只能在栈上生成对象的类

[frederick-vs-ja]

另外，这个方法根本限制不了在创建静态或线程局部存储期的该类对象。实现中这些存储期的对象都不在栈上。

务必要注意：如果允许通过一个接口构造或按值返回该类的对象，那么用户就可以在堆上动态分配一块存储（使用 malloc 或 ::operator new），并用原位布置 new 把对象构造到堆上（如 ::new ((void*)p) T{args}）。

---

一些近似的办法，但相当可能不符合题意：

1. 完全限制该类的构造函数的访问，使得外部不得构造该类对象，而内部操作只在栈上构造该类对象。
2. 生成不可移动或复制的 lambda 表达式闭包类型（需要至少 C++17）。

struct Pinned {
    Pinned() = default;
    Pinned(const Pinned&) = delete;
    Pinned& operator=(const Pinned&) = delete;
};

int main()
{
    auto pinned_lambda = [p = Pinned{}]{};
    // 此后不能在其他地方构造另一个与 pinned_lambda 拥有相同类型的对象
}

个人认为完全符合题目本意的做法基本上是不存在的，除非通过和操作系统交流，在构造函数中确定 this 是否指向系统划定的栈空间。

[SainoNamkho]

1. 完全限制该类的构造函数的访问，使得外部不得构造该类对象，而内部操作只在栈上构造该类对象。

这种方法可能不太行

struct X {
    static X construct() { return {}; }
private:
    X() = default;
};

struct Y : X {
    Y() : X{X::construct()} {}
};

int main()
{
    X* px1 = new Y;
    X* px2 = new (operator new(sizeof(X))) X(X::construct());
}

[frederick-vs-ja]

1. 完全限制该类的构造函数的访问，使得外部不得构造该类对象，而内部操作只在栈上构造该类对象。

这种方法可能不太行

struct X {
    static X construct() { return {}; }
private:
    X() = default;
};

struct Y : X {
    Y() : X{X::construct()} {}
};

int main()
{
    X* px1 = new Y;
    X* px2 = new (operator new(sizeof(X))) X(X::construct());
}

这个例子仍然相当于允许在外部构造该类对象。我指的是任何能创建该类对象的函数都不能被外部调用。