2

考虑：

template <typename T>
struct C {
    std::vector<int> f(const T &t) const {
        return t.f();
    }
};

T::f必须计算所需的向量。然而，有些T人预先计算了向量，我们希望避免在这种情况下创建副本。这是我的尝试：

struct A {
    std::vector<int> f() const {
        std::vector<int> res{10, 20, 30}; // computing the vector.
        return res;
    }
};

struct B {
    const std::vector<int> &f() const {
        return v_; // returning reference to pre-computed vector.
    }
private:
    std::vector<int> v_{1, 2, 3};
};

template <typename T>
struct C {
    const std::vector<int> &f(const T &t) const {
        return t.f();
    }
};

int main() {
    using T = B; // For A, we get an error about returning reference to a local.
    C<T> c;
    T t;
    c.f(t);
    return 0;
}

正如注释中main指出的那样，对于T=A，上面的代码是错误的，因为它返回了对局部变量的引用。我怎样才能同时容纳T=Aand T=B，这样预先计算的向量B::v_就不会被复制？

4

2 回答 2

4

通过使用C::f返回与 完全相同的类型：T::fdecltype

template <typename T>
struct C {
    auto f(const T &t) const -> decltype(t.f()) {
        return t.f();
    }
};

这将按值返回whenT = A和 by const&when T = B。

魔杖盒示例

于 2017-02-19T15:28:49.563 回答
2

您的尝试没有测试它应该做的事情。为了使预先计算的结果有用，它们需要是持久的。一类需要同时进行计算和存储。

例如，

struct A {
    std::vector<int> const & f() const {
        if ( v_.empty() ) {
            v_ = {10, 20, 30}; // computing the vector.
        }
        return v_;
    }
private:
    mutable std::vector<int> v_;
};

如果有某种类型定义了函数的域，另一种架构是将所有结果存储在一个std::map< X, std::vector >（或）中。unordered_mapX

于 2017-02-19T15:37:50.010 回答