具有默认值的模板返回类型

Question

因此，在编写 C++ 模板类时，我定义了一个返回模板类型对象的方法，如下所示：

template <typename T>
class Foo
{
public:
    T GetFoo()
    {
        T value;

        //Do some stuff that might or might not set the value of 'value'

        return value;
    }
 };

int main() {

    Foo<int> foo;

    foo.GetFoo();

    return 0;
}

这给出了以下警告：

prog.cpp: In member function ‘T Foo<T>::GetFoo() [with T = int]’:
prog.cpp:15: warning: ‘value’ is used uninitialized in this function

我明白为什么会发生这种情况 - 我正在返回一个未初始化的 int 作为 GetFoo 的一部分。问题是，如果我要使用 Foo，则 T value; 行将使用 的默认构造函数初始化 value >SomeClass。

我设法通过执行以下操作来抑制此警告：

    T GetFoo()
    {
        T value = T();

        //Do some stuff that might or might not set the value of 'value'

        return value;
    }

这似乎适用于原始类型（例如 int 和 float）和类，至少只要该类有默认构造函数和复制构造函数。我的问题是 - 这是解决这个问题的公认方法吗？我应该知道这有什么副作用吗？

Answer 1

听起来不错，如果该类没有复制构造函数，您无论如何都无法返回它。

Answer 2

Default行

T t;

构造对象，但声明未初始化的内置类型。没有“默认构造”局部变量的语法。

因此，编写初始化变量（无论是内置变量还是类变量）的通用代码并不是一件容易的事。

但是，将类型包装到成员变量中可能会提供一种不需要复制构造（除了 return 语句之外）的解决方法：

template< typename T > struct Initializer {
   T t;
   Initializer()
   :t() // ====> default construction, works for classes _and_ built-in
   {}
};

使用此包装器，您可以以通用方式构建代码：

template<typename T> T foo() {
  Initializer<T> i;
  // fill in i.t to your liking
  return i.t;
}

请参阅 < a href="http://codepad.org/w15PqPLu" rel="nofollow">键盘。

Answer 3

事实上，这是解决问题的标准方法。我认为在这种情况下不应该担心任何副作用。

Answer 4

您真的想从此函数返回未初始化的值吗？听起来这可能会导致以后出现很多垃圾。

为什么不使用合适的包装器 - 如果您有权访问 boost，请考虑使用 boost::optional。这样，如果不初始化，也可以正常测试。

Answer 5

这似乎适用于原始类型
（例如 int 和 float）和类，
至少只要该类有一个
复制构造函数

对于类来说，不仅需要 [public] 复制构造函数，还需要 public 默认构造函数！

我的问题是 - 这是解决这个问题的公认方法吗？

通常最好提供 public 默认构造函数。 STL容器一直在使用它！如果您没有一个，大多数（或者可能是全部）STL 容器在很多情况下都无法工作。

请参阅此示例，其中使用 private 默认构造函数：http://ideone.com/EdPLu

Answer 6

Boost 在其实用程序模板类之一中解决了这个问题，即 boost： :value_initialized 及其亲属。