是否可以在for循环中声明两个不同类型的变量？

Question

是否可以在 C++ 的 for 循环的初始化主体中声明两个不同类型的变量？

例如：

for(int i=0,j=0 ...

定义两个整数。我可以在初始化主体中定义一个 int 和一个 char 吗？这将如何完成？

Answer 1

不 - 但从技术上讲，有一个解决方法（除非被迫，否则我实际上不会使用它）：

for(struct { int a; char b; } s = { 0, 'a' } ; s.a < 5 ; ++s.a) 
{
    std::cout << s.a << " " << s.b << std::endl;
}

Answer 2

不可能，但您可以这样做：

float f;
int i;
for (i = 0,f = 0.0; i < 5; i++)
{
  //...
}

或者，使用附加括号显式限制 f 和 i 的范围：

{
    float f; 
    int i;
    for (i = 0,f = 0.0; i < 5; i++)
    {
       //...
    }
}

Answer 3

C++17：是的！您应该使用结构化绑定声明。自 gcc-7 和 clang-4.0 起，gcc 和 clang 就支持该语法（clang 实例）。这允许我们像这样解包一个元组：

for (auto [i, f, s] = std::tuple{1, 1.0, std::string{"ab"}}; i < N; ++i, f += 1.5) {
    // ...
}

上面的代码将为您提供：

• int i set to 1
• double f set to 1.0
• std::string s 设置为 "ab"

确保为此类声明#include。

如果您想命名一个类型，您可以通过像我使用 std::string 那样将它们全部输入来指定元组内的确切类型。例如：

auto [vec, i32] = std::tuple{std::vector<int>{3, 4, 5}, std::int32_t{12}}

它的一个具体应用是迭代地图，获取键和值，

std::unordered_map<K, V> m = { /*...*/ };
for (auto& [key, value] : m) {
   // ...
}

请参见此处

---

C++14：您可以执行与 C++11（如下）相同的操作，并添加基于类型的 std::get。因此，您可以使用 std::get(t)，而不是下面示例中的 std::get<0>(t)。

---

C++11：std::make_pair 允许您执行此操作，以及 std::make_tuple 对于两个以上的对象。

for (auto p = std::make_pair(5, std::string("Hello World")); p.first < 10; ++p.first) {
    std::cout << p.second << '\n';
}

std::make_pair 将返回 std::pair 中的两个参数。可以使用 .first 和 .second 访问这些元素。

对于两个以上的对象，您需要使用 std::tuple

for (auto t = std::make_tuple(0, std::string("Hello world"), std::vector<int>{});
        std::get<0>(t) < 10;
        ++std::get<0>(t)) {
    std::cout << std::get<1>(t) << '\n'; // cout Hello world
    std::get<2>(t).push_back(std::get<0>(t)); // add counter value to the vector
}

std::make_tuple 是一个可变参数模板，它将构造一个包含任意数量参数的元组（当然有一些技术限制）。可以使用 std::get(tuple_object) 通过索引访问元素

在 for 循环体内，您可以轻松地为对象添加别名，但仍然需要使用 .first 或 std::get 用于 for 循环条件和更新表达式

for (auto t = std::make_tuple(0, std::string("Hello world"), std::vector<int>{});
        std::get<0>(t) < 10;
        ++std::get<0>(t)) {
    auto& i = std::get<0>(t);
    auto& s = std::get<1>(t);
    auto& v = std::get<2>(t);
    std::cout << s << '\n'; // cout Hello world
    v.push_back(i); // add counter value to the vector
}

---

C++98 和 C++03 您可以显式命名 std 的类型::配对。不过，没有标准方法可以将其概括为两种以上类型：

for (std::pair<int, std::string> p(5, "Hello World"); p.first < 10; ++p.first) {
    std::cout << p.second << '\n';
}

Answer 4

你不能在初始化中声明多个类型，但是你可以分配给多个类型EG，

{
   int i;
   char x;
   for(i = 0, x = 'p'; ...){
      ...
   }
}

只需在它们自己的作用域中声明它们即可。

Answer 5

我认为最好的方法是xian的回答。

但是...

---

# 嵌套for循环

这种方法很脏，但可以在所有版本中解决。

所以，我经常在宏函数中使用它。

for(int _int=0, /* make local variable */ \
    loopOnce=true; loopOnce==true; loopOnce=false)

    for(char _char=0; _char<3; _char++)
    {
        // do anything with
        // _int, _char
    }

其他 1.

它还可以用于声明局部变量和初始化全局变量。

float globalFloat;

for(int localInt=0, /* decalre local variable */ \
    _=1;_;_=0)

    for(globalFloat=2.f; localInt<3; localInt++) /* initialize global variable */
    {
        // do.
    }

附加 2.

很好的例子：具有宏功能。

（如果无法使用最佳方法，因为它是一个for循环宏）

#define for_two_decl(_decl_1, _decl_2, cond, incr) \
for(_decl_1, _=1;_;_=0)\
    for(_decl_2; (cond); (incr))


    for_two_decl(int i=0, char c=0, i<3, i++)
    {
        // your body with
        // i, c
    }

---

# If-语句技巧

if (A* a=nullptr);
else
    for(...) // a is visible

如果你想要初始化为 0 或 nullptr，你可以使用这个技巧。

但由于阅读困难，我不推荐这样做。

这看起来像是错误。

Answer 6

请参阅“有没有办法在 for 循环中定义两种类型的变量？”是涉及嵌套多个 for 循环的另一种方式。与 Georg 的“结构技巧”相比，另一种方法的优点是它（1）允许您混合使用静态和非静态局部变量，（2）它允许您拥有不可复制的变量。缺点是它的可读性较差，而且效率可能较低。

Answer 7

您也可以在 C++ 中使用如下所示。

int j=3;
int i=2;
for (; i<n && j<n ; j=j+2, i=i+2){
  // your code
}

Answer 8

定义宏：

#define FOR( typeX,x,valueX,  typeY,y,valueY,  condition, increments) typeX x; typeY y; for(x=valueX,y=valueY;condition;increments)

FOR(int,i,0,  int,f,0.0,  i < 5, i++)
{
  //...
}

请记住，您的变量范围也不会以这种方式位于 for 循环内。