C++模板编程——延迟函数调用

Question

我正在寻找解决以下问题的优雅方法。我有一个用于延迟函数调用的任务结构。

template <typename T> struct Task1
{
    T Arg1;
    Delegate<T> TaskDelegate;
};

我遇到的问题是：

Task1<const Foo&> MyTask;

这将导致参数被保存为常量引用。有谁知道解决这个问题的好解决方案？我可以强制执行诸如委托签名始终采用 const& 等规则。 params 但这似乎是有限制的。我总是可以有两个任务结构（一个用于引用，一个用于值），但这看起来很糟糕。

另一个解决方案是创建以下内容：

template <typename T1, typename T2> struct Task1
{
    T2 Arg1;
    Delegate<T1> TaskDelegate;
};

是否可以将 T2 默认为与 T1 相同的类型？这样，每当我有方法值签名时，我就不需要额外的模板参数。

编辑： 该模板用于多线程任务调度程序。这是一个例子：

void MyClass::Populate(const std::string& instrText);

CTaskScheduler::Schedule(Task1<const std::string&>(this, &MyClass::Popluate, "MyString"));

Answer 1

您可以在 boost 或即将推出的标准中查看 function<> 的实现。事实上，您可以使用function<>。我认为解决方案（在 C++0x 之前）总是存储参数的副本，如果用户想要引用语义，他们可以使用引用包装器。

至于如何获取一个值，你可以看一下一些简单的元函数来删除 const 或 &：

// Remove reference:
template <typename T>
struct remove_reference {
   typedef T type;
};
template <typename T>
struct remove_reference<T&> {
   typedef T type;
};

对于 const 也是如此。

Answer 2

您可以使用 boost.type_traits库使用 boost::remove_const 删除参数的常量性。

Answer 3

除了 boost::type_traits 之外，还有一个 boos::call_traits专门为处理此类问题而构建的库。它还提供了避免引用问题的引用的机制。

Answer 4

boost::remove_const 在这种情况下应该对您有帮助：

template <typename T> struct Task1
{
    typename boost::remove_const<T>::type Arg1;
    Delegate<T> TaskDelegate;
};

或者，如果您对 const 类型使用模板专业化，则可以避免使用 boost：（

template <typename T> struct Task1
{
    T Arg1;
    Delegate<T> TaskDelegate;
};

template <typename T> struct Task1<const T>
{
    T Arg1;
    Delegate<const T> TaskDelegate;
};

警告：未经测试）