模板 class 的 C++ 成员 function 的自动返回类型

Question

为了便于阅读，我将把我的问题简化为一个很好的玩具示例：

假设我有一个模板 class Box可以容纳给定类型的对象的有限集合（初始化为Box<double, 10> ）。 class 有一个名为expand(n)的成员 function 应该修改盒子以提高容量。 由于10是 class 实例的规范，我相信该方法返回一个新的 object 是合理的（例如Box<double, 20> ，对于n给定的参数20 ）。

我在为该方法正确签名时遇到问题。 我所拥有的是：

template <typename T, const unsigned int size>
Box Box<T, size>::expand(const unsigned int newsize) const {

自然，问题在于返回类型...我不能只添加<T, newsize>因为后者还没有在 scope 中。

我一直在尝试使用尾随返回语法：

template <typename T, const unsigned int size>
auto Box<T, size>::expand(const unsigned int newsize) -> Box<T, newsize> const {

但是这里出了点问题，我得到了错误..我应该如何修改它？

Answer 1

模板的参数必须在编译时决定，所以不能使用 function arguments，这是在运行时决定的。 您应该将参数添加为模板参数。

template <typename T, const unsigned int size>
struct Box {
    template<const unsigned int newsize>
    Box<T, newsize> expand() const;
};

template <typename T, const unsigned int size>
template <const unsigned int newsize>
Box<T, newsize> Box<T, size>::expand() const {
    return Box<T, newsize>();
}

int main() {
    Box<double, 10> b;
    Box<double, 20> b2 = b.expand<20>();
}

Answer 2

两件事：首先， const position 是错误的。 const 适用的东西是它左边的东西。 在这种情况下，它是返回类型，但您最初在成员 function 上拥有它。

template <typename T, const unsigned int size>
auto Box<T, size>::expand(const unsigned int newsize) const -> Box<T, newsize> {
    // ...
}

然后，您尝试使用newsize ，这严格来说是一个运行时值。 您不能在需要常量表达式的上下文中使用运行时值。 您必须在模板参数中传递大小，因为该语言不支持将 function 参数标记为constexpr 。

template <typename T, const unsigned int size>
template <unsigned int newsize>
auto Box<T, size>::expand() const -> Box<T, newsize> {
    // ...
}