Início / coding / Perguntas / 79059074
Accepted
Arun
Asked: 2024-10-06 20:28:52 +0800 CST

Por que uma referência a um inteiro não é considerada um tipo integral?

  • 772

Considere o seguinte trecho de código:

int x = 10;
std::cout << "Is Integral = " << std::is_integral_v<decltype(x)> << std::endl;
int & y = x;
std::cout << "Is Integral  = " << std::is_integral_v<decltype(y)> << std::endl;

Aqui xé considerado um tipo integral, mas ynão é.
Alguma explicação de por que isso acontece?

c++

2 respostas

  1. Best Answer

    A definição de tipo integral da std::is_integraldocumentação :

    Verifica se T é um tipo integral. Fornece o valor constante do membro que é igual a true, se T for o tipo bool, char, char8_t(since C++20), char16_t, char32_t, wchar_t, short, int, long, long long, ou quaisquer tipos inteiros estendidos definidos pela implementação, incluindo quaisquer variantes com sinal, sem sinal e qualificadas por cv. Caso contrário, o valor é igual a false.

    xO tipo de é int- um dos tipos mencionados acima.
    Mas yo tipo de é int&( uma referência a int), não int . Não é um dos tipos para os quais std::is_integralretorna true.

    Se você quiser verificar se o tipo ao qual a referência está se referindo é intergal, você pode usar std::remove_reference_tpara "retirar" a referência do tipo:

    int x = 10;
std::cout << "Is Integral = " << std::is_integral_v<decltype(x)> << std::endl;
int& y = x;
//--------------------------------------------------vvvvvvvvvvvvvvvvvvvvvvv---------------------------
std::cout << "Is Integral = " << std::is_integral_v<std::remove_reference_t<decltype(y)>> << std::endl;

    Saída:

    Is Integral = 1
Is Integral = 1
    • 2

  2. Porque é um tipo de referência. Você pode usar std::remove_referencepara obter o tipo referenciado.

    – canção yuanyao

    • 1

relate perguntas