模板类复制内部类问题中的模板赋值运算符

Question

我有一个包含内部类的模板类。在 operator=() 重载上，我想复制内部类的一个实例，但出现错误：

no known conversion from 'const foo<double>::bar' to 'const foo<int>::bar'

代码看起来像（你可以找到一个例子here）：

template<typename T>
class foo {
public:
    template<typename>
    friend class foo;

    class bar {
        std::string inner_str;
    public:
        bar const& operator=(bar const& r) {
            inner_str = r.inner_str;
            return *this;
        }
    };

    template<typename F>
    foo const& operator=(foo<F> const& r) {
        value = static_cast<T>(r.value);
        str_container = r.str_container;
        return *this;
    }

private:
    bar str_container;
    T value;
};

将bar 移到foo 之外可以正常工作，但内部类应该是foo 的一部分。

如何解决这个问题？我想过让bar 像 foo 这样的朋友成为 foo 的所有专业的朋友。但是不知道怎么介绍。

_{旁注：请随意更改标题，因为我真的不知道如何命名这个特定问题。}

Answer 1

foo<double>::bar 是与const foo<int>::bar 完全无关的类型，因此您无法在它们之间进行隐式转换。

由于bar 似乎不依赖于模板参数，这似乎是一个明智的解决方案：

在 foo 外面移动 bar 可以正常工作

问题解决了:)

但内部类应该是foo 的一部分。

考虑到你如何使用它，我认为不，它不应该是 foo 的一部分。

或者，您可以将 bar 的赋值运算符设为模板，就像使用 foo 的赋值运算符一样：

template<typename B>
bar const& operator=(const B& r) {
    inner_str = r.inner_str;
    return *this;
}
template<typename U>
friend class foo<U>::bar; // this bar must be friends with other bars

如果bar 的定义确实依赖于foo 的模板参数，那么您可以使用这种方法。否则，在每个 foo 中定义一个相同但独立的内部类就没有多大意义。