检测c ++数组中的数据类型

Question

这是打印出 buf 数组的 c++ 代码，其中填充了 0, 1, 2, ... 254

#include <iterator>
#include <iostream>
#include <numeric>

int main()
{
        int buf[255];

        auto it_b = std::begin(buf);
        auto it_e = std::end(buf);

        std::iota(it_b, it_e, 0);
        std::copy(it_b, it_e, std::ostream_iterator<decltype(*it_b)>(std::cout, " "));

        std::cout << std::endl;

        return 0;
}

我试图让它通用，所以只有一个地方的类型是明确的int

由于我需要明确声明 ostream_iterator 的类型，我想知道实现这一目标的最佳方法是什么。

1. decltype(*it_b)
2. decltype(buf[0])
3. 其他的...

使用这种或那种方法的优点/缺点是什么？

这次假设我们被 C 风格的数组所困。

Answer 1

为了严格正确，你应该使用std::iterator_traits：

std::copy(it_b, it_e, std::ostream_iterator<
    typename std::iterator_traits<decltype(it_b)>::value_type
>(std::cout, " "));

单独decltype(*it_b) 的一个问题是它在大多数情况下会返回一个引用，这会与您正在实例化的外部模板混淆。您也可以手动删除引用：

std::copy(it_b, it_e, std::ostream_iterator<
    std::remove_reference_t<decltype(*it_b)>
>(std::cout, " "));

Answer 2

可能这些都不是你想要的——在这两种情况下，你最终都会得到一个对你的类型的左值引用，在这种情况下是int&。您可以通过使用std::decay 来避免它，即

std::copy(it_b, it_e, std::ostream_iterator<std::decay_t<decltype(*it_b)>>(std::cout, " "));

最简单的做法是保持类型别名并使用该别名：

using type = int;
type buf[255];

auto it_b = std::begin(buf);
auto it_e = std::end(buf);

std::iota(it_b, it_e, 0);
std::copy(it_b, it_e, std::ostream_iterator<type>(std::cout, " "));

std::cout << std::endl;

这也适用于像 vector<bool> 这样的病态容器，其中推断类型可能会导致令人惊讶的（和未定义的）行为。