c++ - 基本类型和复杂类型的通用 for 循环

Question

假设我有这两个 std::vector:

std::vector<int> v_int(1000);
std::vector<T> v_T(1000); // Where T is copy-costy type

如果我需要(单独)循环遍历它们而不需要编辑我可能使用的项目:

for(const auto item:v_int){
    //...
}

for(const auto& item:v_T){ //Note &
    //...
}

使用 const auto item:v_T 进行迭代太糟糕了，因为每次迭代都会执行一个拷贝。然而，使用 const auto& item:v_int 不是最佳的，但也不是那么糟糕。因此，如果我需要同时处理它们的代码，我会使用 const auto& item:v。

问题:是否有一种通用的方法来编写 for 循环，该循环将对它们都使用最佳声明？像这样的东西:

template <typename T>
void iterate(const std::vector<T> v){
    for(const auto/*&*/ item:v){ // activate & if T is not elementary type
         //...
    }
}

Answer 1

您可以使用标准类型特征来做到这一点:

template <typename T>
using select_type = std::conditional_t<std::is_fundamental<T>::value,
                                      const T, const T&>;

template <typename T>
void iterate(const std::vector<T> v){
    for(select_type<T> item:v){ // activate & if T is not elementary type
         //...
    }
}

但是，我怀疑这样做是否明智。它只会让一些不太可能产生任何影响的代码变得困惑。