从 Class<U> 调用 Class<T> 的私有构造函数答案

【问题标题】：Calling private constructor of Class<T> from Class<U>从 Class<U> 调用 Class<T> 的私有构造函数
【发布时间】：2015-01-03 11:36:41
【问题描述】：

以下是我拥有的代码的简化版本。

#include <vector>
#include <algorithm>

template <typename T> struct Foo {
  using Value = T;
  constexpr Foo() = delete;
  constexpr Foo(T v) : value(v) {}
  T value;
};

template <typename T> struct Vec {
  using Elem = Foo<T>;
  using Container = std::vector<Elem>;

  Vec() = delete;
  template <typename... Elems>
  Vec(Elem a, Elem b, Elems... rest)
      : elems_{a, b, rest...} {}

  void add(const Elem &e) { elems_.push_back(e); }

  template <typename F> auto map(const F &f) const;

private:
  Vec(Container &&c) : elems_(std::move(c)) {}
  Container elems_;
};

template <typename C>
template <typename F>
auto Vec<C>::map(const F &f) const {
  using ReturnedFoo = decltype(f(std::declval<typename Vec<C>::Elem>()));
  using ValueType = typename ReturnedFoo::Value;
  using Container = typename Vec<ValueType>::Container;
  Container mapped_elems;
  mapped_elems.reserve(elems_.size());
  std::transform(elems_.begin(), elems_.end(), std::back_inserter(mapped_elems),
                 f);
  return Vec<ValueType>{std::move(mapped_elems)};
}

Foo<int> mul2(Foo<int> x) {
    return Foo<int>{2 * x.value};
}
Foo<double> to_d(Foo<int> x) {
  return Foo<double>{static_cast<double>(x.value)};
}

int main() {
  constexpr auto f1 = Foo<int>(1);
  constexpr auto f2 = Foo<int>(2);
  constexpr auto f3 = Foo<int>(3);
  const auto v1 = Vec<int>{f1, f2, f3};
  const auto v2 = v1.map(mul2);
  // const auto v3 = v1.map(to_d); // call to private constructor from here
}

我的类Vec<T> 内部在std::vector 中包含Foo<T> 类型的元素，并且它始终包含至少2 个元素。

我编写了一个map 函数，它映射/转换每个元素并返回一个新的Vec 对象。对于不改变元素类型 (F : (T) -> T) 的映射函数，一切都可以正常工作，例如 mul2。但是一般情况 (F : (T) -> U) 不起作用，因为在 Vec<U> 类中从 Vec<T>::map 函数调用了私有构造函数。公开这个构造函数可以创建少于 2 个元素的 Vec 对象，所以这不是我想要的。

我第一次尝试解决这个问题是

  template <typename X> friend class Vec<X>;

但似乎是不允许的。这是 clang++ 的输出：

vec.cpp:23:14: error: partial specialization cannot be declared as a friend
      friend class Vec<X>;

有没有办法让它工作？在写这个问题的过程中，我想到了将地图的最后一行重写为：

  Vec<ValueType> result{mapped_elems[0], mapped_elems[1]};
  for (auto it = mapped_elems.begin() + 2 ; it != mapped_elems.end(); ++it) {
      result.add(*it);
  }
  return result;

但是还有其他方法吗？

（顺便说一句。我有 clang 3.5.0 和 g++ 4.9.2）

【问题讨论】：

你的朋友声明应该是template <typename X> friend struct Vec;

标签： c++ templates g++ c++14 clang++

【解决方案1】：

如果您希望 Vec 的任何特化成为当前 Vec<T> 实例化的朋友，朋友声明应该是：

template <typename X> friend struct Vec;
//                                     ^ ok, plain identifier

代替：

template <typename X> friend class Vec<X>;
//                                    ^~~ wrong!

§11.3 [class.friend]/p3：

未声明函数的友元声明应具有以下形式之一：
friend elaborated-type-specifier ;
friend simple-type-specifier ;
friend typename-specifier ;
[ 注意：朋友声明可能是模板声明中的声明（第14条，第14.5.4条）。- 尾注 ]

您当前使用的语法与 Vec 的部分特化声明相匹配，这是 §14.5.4 [temp.friend]/p8 所禁止的：

友元声明不得声明部分特化。

【讨论】：

【解决方案2】：

你只是有错误的friend语法：

template <typename U> friend struct Vec;

【讨论】：