5

我在这里阅读了关于类模板的模板参数推导的论文http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0091r3.html。这个特性在 C++17 标准中,有些事情让我很困惑。

template <typename T>
class Something {
public:

    // delete the copy and move constructors for simplicity
    Something(const Something&) = delete;
    Something(Something&&) = delete;

    explicit Something(T&&) { ... }
    explicit Something(const T&) { ... }

    template <typename U, typename EnableIfNotT<U, T>* = nullptr>
    Something(U&&) { ... }
};

给定上面的代码,如果有人试图像这样实例化上面模板的一个实例

auto something = Something{std::shared_ptr<int>{}};

将始终调用右值引用重载吗?由于考虑扣除的过载集是

template <typename T>
Something<T> F(T&&) { ... }
template <typename T>
Something<T> F(const T&) { ... }
template <typename T, typename U, typename EnableIfNotT<U, T>*>
Something<T> F(U&&) { ... }
  1. 第二个重载永远不会优于第一个(因为现在是转发引用重载,而不是右值引用重载),那么这里应该发生什么?
  2. 如果没有明确指定参数,似乎永远无法调用最后一个T,这是预期的行为吗?
  3. 在对类模板使用模板参数推导时,是否还有其他任何问题或样式指南需要牢记?
  4. 此外,用户定义的扣除指南是否需要在类定义之后?例如,您可以在类定义本身的类构造函数声明中使用尾随返回类型吗?(不像这里的迭代器构造函数http://en.cppreference.com/w/cpp/language/class_template_deduction
4

1 回答 1

2
  1. 第二个重载永远不会优于第一个(因为现在是转发引用重载,而不是右值引用重载),那么这里应该发生什么?

不,它不是转发参考。这是一个关键的区别。来自[temp.deduct.call]

转发引用是对不代表类模板的模板参数的 cv 非限定模板参数的右值引用(在类模板参数推导期间([over.match.class.deduct]))。

你的候选人是:

template <typename T>
Something<T> F(T&&);       // this ONLY matches non-const rvalues

template <typename T>
Something<T> F(const T&);  // this matches everything

template <typename T, typename U, typename EnableIfNotT<U, T>*>
Something<T> F(U&&);       // this matches nothing

当你写:

auto something = Something{std::shared_ptr<int>{}};

构造T&&函数是首选,带有T=std::shared_ptr<int>,因此您最终将Something<std::shared_ptr<int>>作为您的类模板专业化。如果改为写:

std::shared_ptr<int> p;
auto something = Something{p};

那么T const&构造函数是首选(实际上它是唯一可行的候选者)。虽然我们最终在同一个地方:Something<std::shared_ptr<int>>.

  1. 如果不明确指定 T 参数,似乎永远无法调用最后一个,这是预期的行为吗?

正确,T是非推断上下文。这是有道理的——这个构造函数的存在是为了进行转换,但是您需要指定要转换的内容才能进行转换。让这种“正常工作”为您服务是没有意义的。

  1. 此外,用户定义的扣除指南是否需要在类定义之后?

是的。按照规定,这就是他们要去的地方。在构造函数中有尾随返回类型是没有意义的——构造函数不会“返回”任何东西。

于 2017-06-03T15:45:35.647 回答