如何检查引用是否为 const？

Question

我正在为我的迭代器类型编写测试，并想检查由 begin() 和 cbegin() 提供的取消引用迭代器返回的引用分别是非常量和常量。

我尝试做类似以下的事情：-

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

int main() {
    std::vector<int> vec{0};

    std::cout << std::is_const<decltype(*vec.begin())>::value << std::endl;
    std::cout << std::is_const<decltype(*vec.cbegin())>::value << std::endl;
}

但这两种情况都会打印0。

有没有办法检查引用是否为 const？

我可以使用 C++11/14/17 功能。

Answer 1

删除引用以获取被引用类型以检查其常量。引用本身永远不会是 const - 即使对 const 的引用可能通俗地称为 const 引用：

std::is_const_v<std::remove_reference_t<decltype(*it)>>

Answer 2

*it 将是引用而不是引用类型（在您的情况下，int& 或 const int& 而不是 int 或 const int）。因此，您需要删除引用：

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

int main() {
    std::vector<int> vec{0};

    std::cout << std::is_const<std::remove_reference<decltype(*vec.begin())>::type>::value << std::endl;
    std::cout << std::is_const<std::remove_reference<decltype(*vec.cbegin())>::type>::value << std::endl;
}

这会产生：

0
1

注意：以上作品使用 C++11。 @eerorika 的 answer 更简洁，但需要 C++17。

Answer 3

is_const 始终返回 false 以供参考。相反，这样做：

std::is_const_v<std::remove_reference_t<decltype(*v.begin() )>> // false
std::is_const_v<std::remove_reference_t<decltype(*v.cbegin())>> // true

Answer 4

您可以在此处查看文档注释： https://en.cppreference.com/w/cpp/types/is_const

• 注意事项

如果 T 是引用类型，则 is_const::value 始终为 false。这 检查潜在引用类型是否存在 const-ness 的正确方法是 删除引用：is_const::type>。

for(auto it=vec.begin(); it!=vec.end(); ++it) {
    std::cout << std::is_const<std::remove_reference<decltype(*it)>::type>::value << std::endl;
}

for(auto it=vec.cbegin(); it!=vec.cend(); ++it) {
    std::cout << std::is_const<std::remove_reference<decltype(*it)>::type>::value << std::endl;
}