在某些情况下,std :: is_floating_point为float返回false

Question

在某些情况下,请参见下面一个例子,std::is_floating_point在返回false的float.

#include <iostream>
#include <type_traits>
#include <vector>

int main()
{
    ::std::cout << typeid(decltype(::std::vector< float >()[::std::vector< float >().size()])).name() << ::std::endl;
    if (::std::is_floating_point< decltype(::std::vector< float >()[::std::vector< float >().size()]) >::value)
    {
        ::std::cout << "floating point" << ::std::endl;
    }
    else
    {
        ::std::cout << "not floating point" << ::std::endl;
    }
    return 0;
}

GCC的输出

f
not floating point

在这个例子中,人们可以看到它typeid被::std::vector< float >()[::std::vector< float >().size()]视为a float,它返回正确的名称.人们也可以检查typeid(decltype(::std::vector< float >()[::std::vector< float >().size()])) == typeid(flat)退货true.但是,std::is_floating_point返回假.为什么？这是C++的错误吗？

仅供参考,我与GCC和VisualStudio进行了核实.在这个例子中,我使用了std :: vector,但也可以尝试使用其他库,例如Eigen.

Answer 1

没有错误,并std::is_floating_point给你正确的答案.

vector<float>[n]不给你一个float; 它给你一个float&.

typeid忽略这一点是为了方便,但是,作为更"强大"的工具,decltype而std::is_floating_point不是.

你可以std::remove_reference用来解决这个问题:

if (::std::is_floating_point_v<std::remove_reference_t<
   decltype(::std::vector< float >()[::std::vector< float >().size()])
>>)

你也可以考虑一下std::decay.

你不需要decltype,因为容器有这样的时间的方便类型别名.

这是我要做的:

#include <iostream>
#include <type_traits>
#include <vector>

int main()
{
    using V = std::vector<float>;

    ::std::cout << typeid(V::value_type).name() << '\n';
    if (::std::is_floating_point_v<V::value_type>)
        ::std::cout << "floating point\n";
    else
        ::std::cout << "not floating point\n";
}

// Output:
//   f
//   floating point

现场演示