不奇葩啊，裸指针从 C++98 开始就支持这样写，只是智能指针不行


【 在 Madlee (无竹居士) 的大作中提到: 】
: 主要是你的需求太奇葩。
--
FROM 113.66.217.*

倒不是怕效率损失，工作的项目控制没有这么精细。
就是使用的不方便，读起来别扭，或许读的不够多。:-)

抑或为了形式的美感，一时思维的误区？
【 在 hgoldfish 的大作中提到: 】
: 多写一个 dynamic_cast<> 的事，不值得吧。。
: java 的 clone() 同样返回 Object, 而不是子类。
:
--
修改:DoorWay FROM 124.114.151.*
FROM 124.114.151.*

这个问题的核心实质在于此处返回值是有实际物理内存要求的。如果允许子类重写的函数返回不同类型，那有可能该类型的大小跟父类返回类型大小不同。
基于这个原因，标准里只有指针和引用才有可能covariance

除非将unique_ptr作为语言内置功能，否则以类库的身份是不行的。
【 在 DoorWay 的大作中提到: 】
: virtual unique_ptr<Child> Child::Clone() override;
: 最近有这种需求，子类提供克隆方法，返回自身类型的智能指针，不行。必须返回基类的智能指针？
: 这种一般怎么设计解决？
--
FROM 76.126.252.*

无法支持，隐形转换不保证大小相同啊。

如果要支持，估计得新加入covariance转换的概念了。
【 在 vonNeumann 的大作中提到: 】
: unique_ptr 毕竟是库实现的，如果要支持，怕是得对所有可以隐式转换的类型都支持才行。。如果单独给 unique_ptr/shared_ptr 开口子那太难看。。
:
--
FROM 76.126.252.*

如果你一定要这么搞，可以用一虚一实：

class Base {
protected:
  virtual Base* CloneData();

public:
  unique_ptr<Base> clone() { return {CloneData()}; }
};

class Derived {
protected:
  Derived* CloneData() override;
};
【 在 DoorWay 的大作中提到: 】
: 为什么奇葩？是error-prone，还是过于精细？我听不出好坏哈
: 我调研了，希望构造函数可以virtual，是非分之想。
: 这种clone后，希望直接是Child type，调用Child 方法，还算合理的要求吧？
: ...................
--
FROM 76.126.252.*