有没有办法禁用非常规类型的自动声明？

Question

更新：有人提议在某些情况下更改auto 的含义。

Implicit Evaluation of “auto” Variables and Arguments 由 Joel Falcou 和其他人撰写。

隐式评估应：

1. 使类实现者能够指示此类的对象在 auto 语句中进行评估；
2. 使他们能够确定评估对象的类型；

...

---

C++11 的 auto 关键字很棒。

但是在我看来，如果一个类型是Not Regular（例如，参见What is a "Regular Type" in the context of move semantics?），那么auto 的使用就会变得很棘手。

有没有办法禁用这种类型的auto 声明？

假设有一个模拟引用的ref 类

double 5.;
ref<double> rd = d; // `ref` behaves like a reference, so it is not a regular type
ref<double> rd2 = rd; // `ref` can be (syntactically) copy constructible, (it is not regular for other reason)
auto r = rd; // now r is not `double`, but EVEN WORST it is `ref<double>`.

（在现实生活中它会是一个更复杂的类，重要的是手头的类是不规则的。）

我发现auto r = rd 不起作用（给出编译错误）的唯一方法是使类不可复制，但是我需要该类具有复制构造函数（具有特殊语义，但仍然具有复制构造函数）。

有没有办法以某种方式禁用语法auto r = rd？当decltype(rd) 不规则时。

（更好的是能够以某种方式告诉编译器 auto 应该精确做什么）。

注意：这不是一个非常人为的问题，可以看出这类问题是std::vector<bool>::reference（也是一个引用包装器）的核心。禁用（以某种方式）语法 auto b = v[10] 不会解决 std::vector<bool> 的问题，但它会使错误的使用更加困难。

我错过了什么吗？我应该改变设计的其他部分吗？非常规类是否应具有有助于编译器确定更通用自动的类型特征（例如，将 bool 推导出为 auto b = v[10] 其中 std::vector<bool> v。）

Answer 1

复制构造函数意味着您希望类被复制。 auto x = y; 将y 复制到x。

如果您想要一个不想自动运行的超特殊副本，您可以使用代理对象。

template <class T>
struct pseudo_copy;

template <class T>
struct pseudo_copy<T const&> {
  T const& t;

  // T const& can be initialized from T&&:
  pseudo_copy(T const& tin) :t(tin) {}
  pseudo_copy(T&& tin): t(tin) {}
  pseudo_copy(pseudo_copy const&) = delete;
};

template <class T>
struct pseudo_copy<T&&> {
  T&& t;
  pseudo_copy(T&& tin): t(std::move(tin)) {}
  pseudo_copy(pseudo_copy const&) = delete;
};

template <class T>
pseudo_copy<T const&> pseudo(T& t) { return {t}; }

template <class T>
pseudo_copy<T&&> pseudo(T&& t) { return {t}; }

struct strange {
  strange(strange const&)=delete;
  strange(pseudo_copy<strange const&>) {} // copy ctor
  strange(pseudo_copy<strange&&>) {} // move ctor
  strange() = default;
};

现在我们可以：

strange foo() { return pseudo(strange{}); }

strange x = pseudo(foo());

现在每一次复制strange的尝试必须通过调用pseudo，并且使用auto是不合法的，因为没有复制构造函数。

您还可以将复制构造函数设为私有，并使用它来实现pseudo 复制构造函数。

---

请注意，复制/移动 ctor 的含义受 C++ 中的省略规则约束。

---

在 C++17 模板类类型推导可以做：

template <class T>
struct value{
  value_type_of<T> v;
  value(T in): v(std::forward<T>(in)) {}
};

int x = 3;
value a = std::ref( x );

而a.v 将是int。