为什么boost :: call_traits <t> :: param_type是枚举类型的引用?</t>

时间:2012-11-16 10:45:34

标签: c++ templates boost

基本的C ++ 03枚举类型只是一个带有花哨名称的整数值,因此我希望通过值传递它....

出于这个原因,我还希望boost::call_traits<T>::param_typeT=SomeEnum一起确定传递T的最有效方式是按值。

从提升文档中可以看到Call Traits

  

定义一种类型,表示将类型T的参数传递给函数的“最佳”方法。

当我将boost::call_traits<T>::param_typeT=SomeEnum一起使用时,它确定SomeEnum应该通过引用传递。

我还希望C++11 class enums也可以按值传递。

测试代码:

#include <string>
#include <typeinfo>
#include <boost/call_traits.hpp>
#include <boost/type_traits/is_reference.hpp>

enum SomeEnum
{
    EN1_ZERO = 0,
    EN1_ONE,
    EN1_TWO,
    EN1_THREE
};

struct SomeStruct
{};

template<typename T>
void DisplayCallTraits( const std::string& desc )
{
    typedef typename boost::call_traits<T>::param_type param_type;
    std::cout << "-----------------------------------------------------\n";
    std::cout << "Call traits for: " << desc << "\n";
    std::cout << "\ttypeof T : " << typeid(T).name() << "\n";
    std::cout << "\ttypeof param_type : " << typeid(param_type).name() << "\n";
    std::cout << "\tis_reference<param_type> : " << std::boolalpha 
              << boost::is_reference<param_type>::value << "\n";
}

int main( int, char** )
{
    DisplayCallTraits< unsigned >( "unsigned" );     // pass by value, as expected
    DisplayCallTraits< SomeStruct >( "struct" );     // pass by reference, as expected
    DisplayCallTraits< SomeEnum >( "enumeration" );  // pass by reference - why?

    return 0;
}

1 个答案:

答案 0 :(得分:3)

此更新已包含对实施中is_enum的检查。请参阅此错误报告,2个月前关闭:https://svn.boost.org/trac/boost/ticket/5790