C++ 中的自动评估策略选择

Question

考虑以下函数模板：

template<typename T> void Foo(T)
{
  // ...
}

如果 T 恰好是整型，或者至少是复制成本低的类型，那么按值传递语义就有意义。 另一方面，如果 T 恰好是复制成本高昂的类型，则使用传递[const]引用语义更有意义。

让我们假设您正在编写一个库。理想情况下，作为库实现者，您的工作是为消费者提供尽可能通用且高效的干净 API。那么，如何提供一个通用接口来满足这两种类型的参数传递策略呢？

---

这是我第一次尝试让它工作：

#include <boost/type_traits.hpp>

template<typename T> struct DefaultCondition
{
  enum {value = boost::is_integral<T>::value /* && <other trait(s)> */};
};

template< typename T, class Condition = DefaultCondition<T> > class Select
{
  template<bool PassByValue = Condition::value, class Dummy = void> struct Resolve
  {
    typedef T type;
  };

  template<class Dummy> struct Resolve<false, Dummy>
  {
    typedef const T& type;
  };

  public: typedef typename Resolve<>::type type;
};

典型用法：

template<typename T> class EnterpriseyObject
{
  typedef typename Select<T>::type type;

  public: explicit EnterpriseyObject(type)
  {
    // ...
  }
};

struct CustomType {};

void Usage()
{
  EnterpriseyObject<int>(0); // Pass-by-value.
  (EnterpriseyObject<CustomType>(CustomType())); // Pass-by-const-reference.
}

当然，这间接破坏了非类模板的隐式模板参数推导：

template<typename T> void Foo(typename Select<T>::type)
{
  // ...
}

void Usage()
{
  Foo(0);      // Incomplete.
  Foo<int>(0); // Fine.
}

这可以使用 Boost.Typeof 库“修复”和一个宏，如WinAPI：

#define Foo(Arg) ::Foo<BOOST_TYPEOF((Arg))>((Arg))

尽管这只是一个准可移植的黑客。

正如您所看到的，我的一般方法并不是对所有情况都令人满意。

---

作为一名业余程序员，我既没有实际经验，也无法获得生产质量的代码作为参考。我还意识到，这似乎是过早优化的糟糕情况，但我真正对以下几件事感兴趣：

1. 您过去是否使用过这种类型的优化*？
2. Boost（或任何其他公共）库是否已经提供类似的功能？
3. 如果#1 或#2 的答案是“是”——如何处理非类模板情况？
4. 对于这样的事情，是否存在我没​​有看到的明显陷阱？
5. 最后，这是否是明智之举？

---

* 未分析。 ;)

Answer 1

1. 是的。一直以来。我自己用的。

2. 是的，使用Boost.Utility 的调用特征 :)

   用法是...

   模板 <类型名称 T>
   void foo(boost::call_traits::param_type 参数)
   {
       // 使用参数
   }
   

3. 据我所知，非类模板是按值传递的，除非它更快。由于部分模板专门化，它可以相对容易地定制。

4. 抱歉，没有真正阅读您所做的事情，它看起来就像我几个月前经历的那样。因此，无法真正回答这个问题。我的建议是通读 Boost.Utility。

5. 当然！