AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / user-30189047

ALICEZzz's questions

Martin Hope
ALICEZzz
Asked: 2025-04-29 23:14:59 +0800 CST

块作用域如何工作?标准如何解释这一点?

  • 8

例如我们有这样的代码:

#include <stdio.h>
int main(void)
{
    int n = 4;
    {
        n++;
    }
    printf("%d\n",n);
    return 0;
}

内部代码块如何看待变量 n?C 语言标准对此是如何解释的?我一直在寻找这个问题的答案。在我看来,答案如下:在 C17 中,我们有(6.8 #3):

块允许将一组声明和语句组合成一个语法单元。具有自动存储期的对象的初始化器,以及具有块作用域的普通标识符的变长数组声明器,在每次按声明顺序到达时都会被求值,并将值存储在对象中(包括在没有初始化器的对象中存储不确定的值),就像它是一个语句一样,并且在每个声明中,都按照声明器出现的顺序进行。

如果不考虑初始化器,那么块实际上只是几个语句。我们只是使用一个块将所有这些运算符作为一个语法单元进行评估。换句话说,如果删除块中的 {} 字符,这些将是相同的运算符,结果将完全相同,但这些运算符不会在一个语法单元中进行评估:

#include <stdio.h>
int main(void)
{
    int n = 4;
    
        n++; // same effect but without {}
    
    printf("%d\n",n);
    return 0;
}

我们还有(6.2.1#4):

如果声明标识符的声明符或类型说明符出现在块内或函数定义中的参数声明列表中,则该标识符具有块作用域,该作用域在关联块的末尾终止。

由此我们了解到 n 具有块作用域。

如果我们将以上所有内容结合起来,就会发现 n 会增加,就好像增量运算符从未出现在内部块中一样。

这个答案正确吗?如果不正确,请解释原因。并请引用一段 C 语言标准中的文字。

c
  • 3 个回答
  • 100 Views
Martin Hope
ALICEZzz
Asked: 2025-04-11 13:13:51 +0800 CST

我们如何使用这个短语“T 的派生声明器类型列表数组”来调用这个“int * name[4]”

  • 8

在C17中我们有这个(6.7.6.2 #3):

如果在声明“ T D1”中,D1有以下形式之一:

 D [ 类型限定符列表opt 赋值表达式opt ]
 D [ 类型限定符列表opt 赋值表达式 ]
 D [ 类型限定符列表 static 赋值表达式 ]
 D [ 类型限定符列表opt ]

并且声明“ ”中为ident指定的类型T D为“派生声明器类型列表 T ”,那么为ident指定的类型 为“ T的派生声明器类型列表数组”。144 ) (有关可选类型限定符和关键字 的含义,请参见 6.7.6.3 。)static

它不是派生的float,或int,或char,它是“数组”,或“指向”。

例如,我们有int name [2][3],这里T是int,并且D1是A[2][3],形式为D[3]其中D是A[2],所以T D是int A[2],或“2个int型数组”。那么的声明类型A为“2个int型数组,3个int型数组”。

但是怎么样int * name[4]?

这里,“派生声明器类型列表 T ”将是int * name。而且,事实证明,“派生声明器类型列表T数组”将是一个指向 4 个元素的数组的指针?

最终,这是错误的,因为int *name[4]它是一个包含4个指针的数组。请解释一下。

arrays
  • 2 个回答
  • 130 Views
Martin Hope
ALICEZzz
Asked: 2025-04-07 06:15:17 +0800 CST

为什么我们可以在 C 中使用数组的数组?

  • 7

为什么在 C 语言中可以使用数组的数组?这是我在打开 C 标准语言(C17)时遇到的问题。

我发现了一些有趣的东西(6.2.5“类型”/20):

可以从对象和函数类型构造任意数量的派生类型,如下所示: - 数组类型描述具有特定成员对象类型的连续分配的非空对象集,称为元素类型。 只要指定数组类型,元素类型就应该是完整的。 数组类型的特征在于其元素类型和数组中元素的数量。 数组类型被称为从其元素类型派生而来,并且如果其元素类型为 T,则该数组类型有时称为“T 数组”。 从元素类型构造数组类型称为“数组类型派生”。

在 C 语言中,我们有对象类型、函数类型和不完全类型。数组元素是对象类型,而不是派生类型,我心想:“现在怎么办?” 然后我发现了这个(6.7.6.2/1 和 6.7.6.2/3):

-除了可选的类型限定符和关键字 static 之外,[ 和 ] 还可以分隔表达式或*。如果它们分隔表达式(指定数组的大小),则该表达式应为整数类型。如果表达式为常量表达式,则其值应大于零。元素类型不得为不完整类型或函数类型。可选的类型限定符和关键字 static 只能出现在具有数组类型的函数参数的声明中,并且只能出现在最外层的数组类型派生中。

  • 如果在声明“T D1”中,D1 具有以下形式之一:D [ 类型限定符列表opt 赋值表达式opt ] D [ 类型限定符列表opt 赋值表达式 ] D [ 类型限定符列表静态赋值表达式 ] D [ 类型限定符列表opt ]并且在声明“TD”中为 ident 指定的类型是“派生声明器类型列表 T”,那么为 ident 指定的类型是“派生声明器类型列表 T 的数组”。144)(有关可选类型限定符和关键字 static 的含义,请参见 6.7.6.3。)

在 6.7.6.2/1 中,我理解元素类型不能是函数类型和不完全类型,但后来我理解元素类型可以是对象类型和派生类型。在 6.7.6.2/3 中,如果类型是派生类型,我们可以创建派生类型的数组。在我看来,数组是可以归类为对象类型的派生类型。但这只是我的观点,我并不认为这是事实。如果我的观点不正确,请解释原因。

arrays
  • 3 个回答
  • 217 Views

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    重新格式化数字,在固定位置插入分隔符

    • 6 个回答
  • Marko Smith

    为什么 C++20 概念会导致循环约束错误,而老式的 SFINAE 不会?

    • 2 个回答
  • Marko Smith

    VScode 自动卸载扩展的问题(Material 主题)

    • 2 个回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Martin Hope
    Fantastic Mr Fox msvc std::vector 实现中仅不接受可复制类型 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant 使用 chrono 查找下一个工作日 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor 构造函数的成员初始化程序可以包含另一个成员的初始化吗? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský 为什么 C++20 概念会导致循环约束错误,而老式的 SFINAE 不会? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul C++20 是否进行了更改,允许从已知绑定数组“type(&)[N]”转换为未知绑定数组“type(&)[]”? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann 为什么 {2,3,10} 和 {x,3,10} (x=2) 的顺序不同? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve