根据 is_integer 转换为 int 或 float

Question

我有一些类型 T，在某些情况下可能是，例如 char，但我想输出它的整数值，而不是字符。为此，有以下内容：

typedef ( std::numeric_limits< T >::is_integer ? int : float ) FormatType;
os << static_cast< FormatType >( t );

但是，这无法编译，并指出“错误 C2275：'int'：非法使用此类型作为表达式”。在 int 和 float 前面加上 typename 并不能解决问题。我在这里缺少什么？

我认为以下内容是等效的：

if( std::numeric_limits< T >::is_integer )
{
    os << static_cast< int >( t );
}
else
{
    os << static_cast< float >( t );
}

Answer 1

尝试使用整型提升：

os << +t;

对于整型，您将获得一个 int ；如果是原始浮点类型，则为您的原始浮点类型。

Answer 2

gcc 接受它，不确定其他的：

template<bool Expression, typename TrueResult, typename FalseResult>
  class conditional_type;

template<typename TrueResult, typename FalseResult>
class conditional_type<1, TrueResult, FalseResult> {
public:
    typedef TrueResult R;
};

template<typename TrueResult, typename FalseResult>
class conditional_type<0, TrueResult, FalseResult> {
public:
    typedef FalseResult R;
};

typedef conditional_type<std::numeric_limits<T>::is_integer,int,float>::R FormatType;

Answer 3

我在这里缺少什么？

您正在尝试使用类型作为表达式。 C++ 根本不允许这样做。您可以通过元编程使用所谓的“编译时 if”。例如，我相信 Boost 提供了以下功能：

typedef if_<std::numeric_limits< T >::is_integer, int, double>::type FormatType;

os << static_cast< FormatType >( t );

另一方面，你的第二个解决方案运行良好，编译器会发现其中一个分支永远不可能为真，并消除它。因此，两种情况下的性能都是相同的（事实上，应该生成完全相同的代码）。