命名构造函数习惯用法和模板？

Question

有没有办法使用 命名构造函数惯用语 “漂亮”时尚的模板？

例如：

#include <vector>
using namespace std;

template< typename T >
class Foo
{
public:
    static Foo Copy(const T& arg)
    {
        Foo ret;
        ret.t_copy = arg;
        return ret;
    }

    static Foo CopyClear(const T& arg)
    {
        Foo ret;
        ret.t_copy = arg;
        ret.t_copy.clear();
        return ret;
    }

private:
    T t_copy;
};


int main( int argc, char** argv )
{
    vector<double> vec;
    vec.push_back(1);

    // #1: won't compile
    Foo< vector<double> > a_foo = Foo::CopyClear( vec );

    // #2: ugly, but works
    Foo< vector<double> > a_foo = Foo< vector<double> >::CopyClear( vec );

    return 0;
}

我想以某种方式使用 #1 的语法。 #2 有效，但让我的 DRY 感觉错误。

编辑：Foo 的新的、更“现实”的版本。

EDIT2：恐怕我没有 C++0x/C++1x :(

Answer 1

更新的答案

如果我正确理解你的意图，这将达到目的：

template< typename T >
class Foo
{
private:
    friend class FooHelper;
    size_t sz;
};

class FooHelper
{
public:
    template< typename T >
    static Foo<T> Size(const T& arg)
    {
        Foo<T> ret;
        ret.sz = arg.size();
        return ret;
    }

    template< typename T >
    static Foo<T> HalfSize(const T& arg)
    {
        Foo<T> ret;
        ret.sz = arg.size() / 2;
        return ret;
    }
};

然后编译：

int main( int argc, char** argv )
{
    vector<double> vec;
    vec.push_back(1);

    Foo<vector<double>> a_foo = FooHelper::HalfSize( vec );
}

Answer 2

我不认为存在 DRY 问题，将其视为语言限制。
如果您有一个没有模板的 Foo 类，但您想从静态方法创建一个新对象，则必须执行以下操作：

Foo a_foo = Foo::HalfSize(something);

当然 Foo 重复了两次。

因此，由于这里完整的类名称是 Foo<;矢量<双> >，从 Foo< 获取静态方法是符合逻辑的。矢量<双> >::HalfSize()，因为这是 C++ 的方式。

Answer 3

除了 @Jon 的答案之外，如果您需要类本身作为模板，请参阅 std::make_pair 及其与 std::pair 的关系。

Answer 4

这在技术上是可以的，并且可能是对您的最终问题的最简单答案：

    Foo< vector<double> > a_foo = a_foo.CopyClear( vec );

技术上可以，因为CopyClear是一个静态 会员功能。

并且不存在技术问题，例如您可以使用 typedef 代替。或者只是将这些静态成员函数作为函数模板放在命名空间范围内。或者在一些辅助类中，正如有人已经建议的那样。

但即使没有技术问题，设计也不太理想；坦率地说（抱歉），这比毫无意义更糟糕。

例如，在CopyClear中，为什么要复制向量然后丢弃复制结果？您只需要创建一个您的代码知道的类型的空向量。

例如，为什么要引入副作用机制？

副作用是要避免和消除的，而不是引入的。

干杯&呵呵，

Answer 5

如果您可以使用 C++0x 功能，auto 关键字将会有所帮助。 Size() 和 HalfSize() 需要是静态方法是否有原因？如果您提供改变 sz 的方法，您可以这样做：

template<class T>
Foo<T> HalfSize(const T& arg)
{
    Foo<T> ret;
    ret.setSz(arg.size() / 2); // or similar
    return ret;
}

然后#1 更容易实现。

Answer 6

C++1x 来救援：

auto a_foo = Foo::HalfSize<vector<double>>( vec );

是的，两个结束 >> 被解析为 > C++1x 中的 >。

您附近的编译器可能已经可用。