Question

我需要一种方法来决定是通过复制还是通过const-reference传递任意类型的T（例如，如果T足够小则复制if，否则通过const-reference传递它）。为了避免重新发明轮子，我尝试了Boost Call Traits。

正如预期的那样，原始类型按值传递，复杂类型如std::string通过引用传递。然而，微小的非原始类型也通过引用传递，例如std::pair<char, char>，这似乎不是最佳选择。我假设最多sizeof(void*)的所有内容都会按值传递。

一般来说，Boost库质量很高，所以也许我错过了一些东西。

这是我的测试代码：

#include <iostream>
#include <type_traits>
#include <tuple>
#include <boost/call_traits.hpp>

template <typename TYPE>
void test(const char* type_name)
{
  typedef typename boost::call_traits<TYPE>::param_type T;  
  if(std::is_reference<T>::value)        
    std::cout << type_name << " is passed by reference (sizeof=" << sizeof(TYPE) << ")\n"; 
  else 
    std::cout << type_name << " is passed by value (sizeof=" << sizeof(TYPE) << ")\n"; 
}

int main()
{
  test<short>("short");
  test<int>("int");
  test<double>("double");
  test<std::string>("std::string");
  test<long long>("long long");
  test<std::pair<int, int>>("std::pair<int, int>");
  test<std::pair<short, short>>("std::pair<short, short>");
  test<std::pair<char, char>>("std::pair<char, char>");
  test<std::tuple<char, char>>("std::tuple<char, char>");
  test<std::tuple<char, char, char, char>>("std::tuple<char, char, char, char>");
  test<std::pair<long long, long long>>("std::pair<long long, long long>");
  return 0;
}

以下是结果（Boost 1.50，g ++ 4.7.2）：

short is passed by value (sizeof=2)
int is passed by value (sizeof=4)
double is passed by value (sizeof=8)
std::string is passed by reference (sizeof=8)
long long is passed by value (sizeof=8)
std::pair<int, int> is passed by reference (sizeof=8)
std::pair<short, short> is passed by reference (sizeof=4)
std::pair<char, char> is passed by reference (sizeof=2)
std::tuple<char, char> is passed by reference (sizeof=2)
std::tuple<char, char, char, char> is passed by reference (sizeof=4)
std::pair<long long, long long> is passed by reference (sizeof=16)

Answer 1

Call Traits是一个通用库，必须适用于任何用户定义的类型。要确定按值传递任意类型是否更快，需要额外的知识，这超出了库的范围。因此，保守的方法总是在有疑问时通过价值，是合理的。

虽然应该可以扩展它以改进对常用STL类型的支持（例如std::pair，std::tuple，std::array），但没有通用的方法可以这样做

为什么boost :: call_traits通过引用传递像<char，char =“”>这样的小对象？</char，>

1 个答案: