Flow javascript类型检查具有单个元素类型的数组的联合的递归定义
Flow是一个静态类型检查工具，用于JavaScript代码。它可以帮助开发者在编码阶段发现潜在的类型错误，提高代码的可靠性和可维护性。
在Flow中，可以使用类型注解来定义变量、函数参数和返回值的类型。对于具有单个元素类型的数组的联合的递归定义，可以使用Flow的泛型和联合类型来实现。
首先，我们可以使用泛型来定义一个具有单个元素类型的数组类型。例如，我们可以定义一个名为Array1的类型，它接受一个类型参数T，表示数组中的元素类型：
type Array1<T> = Array<T>;接下来，我们可以使用联合类型来定义具有单个元素类型的数组的联合类型。例如，我们可以定义一个名为ArrayUnion的类型，它接受一个类型参数T，表示数组中的元素类型，然后使用|操作符将多个具有相同元素类型的数组类型组合起来：
type ArrayUnion<T> = Array1<T> | Array<ArrayUnion<T>>;这样，我们就定义了一个递归的联合类型，它可以表示具有单个元素类型的数组的联合。
对于这样的类型定义，它的优势在于可以在编码阶段检测出不符合定义的类型使用，避免潜在的类型错误。例如，如果我们将一个具有不同元素类型的数组赋值给ArrayUnion类型的变量，Flow会给出类型错误的提示。
在实际应用中，具有单个元素类型的数组的联合类型可以用于表示树状结构、多层嵌套的数据结构等场景。例如，在前端开发中，可以使用它来表示多级菜单、树形结构的数据等。
腾讯云提供了一系列与云计算相关的产品和服务，其中包括云服务器、云数据库、云存储等。这些产品可以帮助开发者快速构建和部署云计算应用。具体的产品介绍和链接地址可以参考腾讯云官方网站：https://cloud.tencent.com/
相关·内容
我想构建一个如下所示的API：
export function GET({response}) {
return response
.match("text/html", "<p>Hello world</p>"),
.match("text/plain", "Hello world"),
.match("application/json", '{"message": "Hello world"}');
}
浏览 1提问于2022-07-25得票数 0
回答已采纳
2回答
C99:柔性数组在联盟中？
、、、、
我尝试将从使用struct hack转换为使用灵活的数组成员，但却遇到了以下错误消息：
错误:使用灵活数组成员的结构无效
(GCC 4.8.1，gnu99，MinGW)
在试图查找消息的原因之后，我将其归纳为以下几个相对较小的情况：
struct a {
union {
struct {
int b;
int c[];
} d;
} e;
};
换句话说，具有灵活数组成员的结构不能放在结构中的联合中，即使联合是结构的最后一个成员。
(请注意，将一个灵活的数组成员直接放在联盟内部似乎是可行的。
浏览 8提问于2014-06-08得票数 8
如果我有这样的代码
struct s { int x; char b[]; };
int main() {
struct s s[10];
}
我用"gcc -O2 -W -Wall -pedantic“来编译，然后我得到：
<source>:4:14: warning: invalid use of structure with flexible array member [-Wpedantic]
4 | struct s s[10];
| ^
gcc是完全正确的。具有灵活数组成员的结构不能那样工作。
在C/
浏览 12提问于2022-03-11得票数 0
回答已采纳
1回答
请考虑以下两个结构：
typedef struct {
int num_data;
char * name_data;
int data[];
} part_t;
typedef struct {
int num_parts;
char * name_parts;
part_t parts[];
} container_t;
理想情况下，我可以初始化一个容器，如下所示：
const container_t container = {
2,
"Name of first container",
浏览 5提问于2012-12-04得票数 1
下面的代码是有效的吗？
struct foo {
int a;
int b[];
};
struct bar {
int c;
struct foo d;
};
struct bar *x = malloc(sizeof(struct bar) + sizeof(int [128]));
这对我来说似乎没问题，但我有点怀疑，因为如果我这样做了，编译器不会抱怨：
struct bar {
struct foo d;
int c;
};
浏览 4提问于2012-05-11得票数 3
回答已采纳
基本上：
struct foo_1
{
int flexible_guy[0]; // this works
};
struct foo_2
{
int flexible_guy[]; // this doesn't (error: flexible array member in a struct with no named members)
};
这是出于某种原因而设定的逻辑吗?对于不受支持的东西，复活节彩蛋解决方案，还是编译器错误？
我在Ubuntu18.04上使用了GCC 7.5.0，但是我在使用GCC 9.4.0 ()的web编译器上得到了相同的结果。
浏览 6提问于2022-08-04得票数 1
如果我试图使用赋值操作符将一个数组复制到另一个数组中，编译器将给我一个错误消息。为什么会这样呢？
尽管这对我来说很好任务，
a = b; //a和b是数组
是非法的。是否有一种简单的方法可以使用某种for循环将一个数组复制到另一个数组中？
在小数组的情况下，编辑比循环更可取吗？
浏览 5提问于2017-02-01得票数 2
回答已采纳
1回答
在C11中，是否有一种方法可以创建嵌套初始化，以实现我在‘test_后继_集’中概述的内容？
谷歌搜索嵌套C11初始化到目前为止还没有显示任何例子。
也许这是不可能的。
我已经走到这一步了，但我不能让它开始工作。
typedef struct my_node_successor_struct {
char *node_name;
float cost;
} my_node_successor;
typedef struct my_node_successor_set_struct {
const char *successor_name;
my_node_succes
浏览 0提问于2015-01-15得票数 1
回答已采纳
1回答
在中对lvalue有相当广泛的描述，但这是针对c++的，我认为其中很多不适用于C。
我对Lvalue的理解如下：
数组不是，但它们的下标值可能是，只要它们不是数组。例如：
int arr3；arr // no -> int3 arr1 // no -> int2 arr1 / yes --> int
结构可以直接或通过成员访问(如.或-> )，只要它们不对数组进行计算。例如：
结构成员{int id}；成员成员= {.id=2}，*member_ptr =&*member_ptr；成员= {.id=3}；// ok member_ptr =&am
浏览 2提问于2021-02-07得票数 0
回答已采纳
我一直在试图追溯编译器应用于不完全多维初始化列表的一些逻辑。假设有这样一个3d数组：
char list[3][3][3];
如果我用这样的一个元素初始化它：
char list[3][3][3] = {1}
一切如出一辙，编译器将list[0][0][0]设置为1，其余元素保持未初始化状态，保存0或一些随机值。如果我试着应用这样的列表，事情就会变得一团糟：
char list[3][3][3] = {{1, 2}, 3}
我希望元素list[0][1][0]保存值3，相反，它存储在list[1][0][0]中。换句话说，如果为一个三维数组指定一个二维初始化列表，而不是切换第二个维度的数组，那
浏览 1提问于2020-10-21得票数 1
回答已采纳
我似乎找不出为什么我的程序会因为分段错误而崩溃。
char *nom;
char **tmp=&nom;
printf("Creando ruta ...\n");
printf("\nIntrodueix el id de la ruta: ");
int ID=demanaInt();
int existe=checkIfRutaExisteix(ID);
if(existe==1){
printf("Ja existeix una ruta amb aquesta ID (id ha de ser unica)");
浏览 1提问于2022-01-21得票数 0
我正在尝试理解TypeScript 2.8中引入的条件类型，并阅读下面的官方文档。
在分布式条件类型中，有一个示例
type BoxedValue<T> = { value: T };
type BoxedArray<T> = { array: T[] };
type Boxed<T> = T extends any[] ? BoxedArray<T[number]> : BoxedValue<T>;
type T20 = Boxed<string>; // BoxedValue<string>;
typ
浏览 0提问于2019-09-13得票数 1
我有这样的代码：
$ cat test.c
#include <stdio.h>
typedef struct
{
const int x;
} SX;
static SX mksx(void)
{
return (SX) { .x = 10 };
}
void fn(void)
{
SX sx;
while((sx = mksx()).x != 20)
{
printf("stupid code!");
}
}
关于其正确性的两点意见：
$ for i in gcc clang; do echo
浏览 2提问于2013-08-30得票数 5
回答已采纳
3回答
考虑以下两个例子：
1.
union test{
struct {
int a;
int b[];
};
};
int main(void){
union test test;
test.a = 10;
printf("test.b[0] = %d", test.b[0]); //prints 0, UB?
}
2.
#include <stdio.h>
union test{
int a;
int b[]; //error: flexible array member in union
浏览 0提问于2019-06-05得票数 15
回答已采纳
我知道未初始化的静态变量存储在BSS中，因此保证使用所有0 (其各自的数据类型大小)进行初始化。
此外，在C中，静态变量可以定义为编译时间常数(仅)。
“部分初始化”静态变量的定义行为(我不确定这是否是正确的术语)是什么，如下所示：
// main.c
#include <stdbool.h>
#include <stdio.h>
static struct Foo
{
bool f[2][3];
} g_table = { { { true, true, false },
{ true } } };
int
浏览 2提问于2020-01-28得票数 1
回答已采纳
1回答
所以我正在做一个赋值工作，我在弄清楚如何使用这个通过引用传递的二维数组时遇到了麻烦。
我得到的是这个
int main(){
//cap and flow initialized
maximum_flow(1000, &(cap[0][0]), &(flow[0][0]));
}
所以我想把cap的内容复制到我动态分配的另一个2d数组中，但在遇到错误后，我决定打印出我在cap2和capacity中拥有的值，我没有得到我应该得到的所有值。
void maximum_flow(int n, int *capacity, int *flow){
int **cap2;
浏览 0提问于2016-05-23得票数 0
3回答
L值错误和数组指针
、、、
代码是这样的
#include<stdio.h>
#include<stdlib.h>
int main()
{
int a[]={10,20,30,40,50};
int j;
for(j=0;j<5;j++)
{
printf("%d\n",*a);
a++;
}
return 0;
}
产出-
错误-：增量操作数所需的L值
为什么这里会发生Lvalue错误？？
浏览 1提问于2018-06-03得票数 1
回答已采纳
2回答
根据，以下代码调用未定义的行为：
uint16_t *buf = malloc(16); // 8*sizeof(uint16_t)
buf[1] = *buf = some_value;
((uint32_t *)buf)[1] = *(uint32_t *)buf;
((uint64_t *)buf)[1] = *(uint64_t *)buf;
我们可以将任何类型写入malloc()内存，但不能通过转换指针(使用char的摘录)将以前编写的值读入为不兼容的类型。
我能用这个工会吗？
union Data {
uint16_t u16[8];
uint32_t u32[4]
浏览 7提问于2022-09-09得票数 2
回答已采纳
2回答
为什么不能将指针分配给数组？
、、、、
在C中，我正在编写这个
char * real = strdup("GEORGE");
char one[1024];
one = real;
它给出了错误：
无效初始化器
有什么建议吗？是否有可能使字符数组与char指针相等？
浏览 1提问于2016-11-14得票数 0
回答已采纳
我想描述一些数据，比如数组中的值可以是另一个数字数组，这是无限期的，所以类型应该是递归的。
使用下面的代码，我收到一个错误
Type 'number' is not assignable to type 'Data'
type Data = ReadonlyArray<number> | Data[];
const data: Data = [1, 2, 3, [4, 5, [6, 7]]];
如何使用最新的TypeScript修复它？
浏览 1提问于2021-05-04得票数 1
#include <stdio.h>
int main()
{
int a[5]={1} ;
int b[5];
b[0]=1 ;
printf("\na[0]=%d, a[1]=%d, a[2]=%d, a[3]=%d, a[4]=%d",a[0],a[1],a[2],a[3],a[4]);
printf("\nb[0]=%d, b[1]=%d, b[2]=%d, b[3]=%d, b[4]=%d",b[0],b[1],b[2],b[3],b[4]);
return 0 ;
}
看看代码。我已经在
浏览 0提问于2017-11-12得票数 0
2回答
我有：
char message1[100];
char message2[100];
当我尝试做message1 = message2时，我会得到错误：
从类型‘char[100]’分配给类型‘char *’时不兼容的类型
我有这样的功能
if(send(clntSocket, echoBuffer, recvMsgSize, 0) != recvMsgSize){
DieWithError("send() failed")
}
在中间。这些事情会不会搞砸了？
我有一种感觉，也许您不能对char数组或其他什么东西执行=，但是我环顾四周，却什么也找不到。
浏览 1提问于2011-09-25得票数 5
回答已采纳
下面的_currentHandle()是什么意思？
template<class SpiHandleT>
class SpiHandleIterator : public ISpiHandleIterator<SpiHandleT>
{
public:
SpiHandleIterator() : _currentHandle()
{
}
...
protected:
SpiHandleT _currentHandle;
};
浏览 0提问于2012-06-23得票数 9
回答已采纳
2回答
我又回到了c/Linux。这个问题可能看起来很愚蠢，但在c#等应用程序中工作之后是相关的。
我在结构内部有一些结构，层次级别大于5。在这种情况下，我在开始时显式地对每个结构进行初始化。我知道c没有一个new()方法可以帮你做到这一点。现在我想知道是否有任何工具/小部件可以为我创建初始化结构的代码。这是一项繁琐的工作，可以加快我的工作速度。
浏览 0提问于2010-03-10得票数 0
回答已采纳
3回答
这经常被建议，作为将结构初始化为零值的一种方法：
struct foo f = {0};
还提到{}可以在gcc的情况下使用，但这不是标准的C99。
我想知道这是否适用于布局可能超出我控制范围的结构。我很担心，因为0不是数组或结构的有效初始化器。然而，即使在这种情况下，gcc --std=c99 (gcc-8.1.1-1.fc28.x86_64)似乎也接受{0}。
问题 C99是否接受{0}作为任何结构的初始化器？
(还是后来的C标准？或者反过来说，是否有理由不相信这一点？是否存在{0}可能导致错误或警告以阻止其使用的编译器？)
我已经尝试过的
gcc警告(在-Wall中启用)表明，这是标准中
浏览 0提问于2018-06-18得票数 6
回答已采纳
假设我们有：
struct A {
int i;
char c[1];
};
通常我会使用malloc()来创建A的一个实例，例如：
#define LEN 10
struct A *my_A = malloc(sizeof(A) + LEN * sizeof(char));
但是，如果我尝试创建一个包含A的数组，这将不起作用
浏览 3提问于2019-02-05得票数 4
2回答
数组名称是指向第一个元素的指针。那么为什么一个字符数组不能分配另一个数组呢？
#include<stdio.h>
int main()
{
char str1[]="Hello";
char str2[10];
char *s="Good Morning";
char *q;
str2=str1; /* Error */
q=s; /* Works */
return 0;
}
浏览 2提问于2016-03-10得票数 1
回答已采纳
当我像这样声明一个二维数组时：
char myArray[20][30] = {"ABC", "Is Easy As One Two Three"};
我是否可以假设此数组中的所有其他字符现在都设置为\000
浏览 0提问于2010-02-17得票数 1
回答已采纳
在尝试即将发布的TypeScript 4.1的时，我试图定义一个可以检查属性路径的泛型类型。
在TS4.1之前，没有一种可能的方法来键入诸如'foo.bar.baz'之类的表达式，您将不得不满足于string。现在，有了模板文字类型，我希望能够键入这些属性路径，并将它们用于MongoDB查询和投影对象等操作。例如：
db.someCollection.find({ 'foo.bar.baz': { $exists: true } });
这是我想出来的类型：
type PropsPath<T> =
T extends object
浏览 0提问于2020-09-24得票数 3
1回答
在修改C知识时，我无意中遇到了以下示例：
#include <stdio.h>
/* Just a simple structure */
typedef struct lab {
int num;
char *str;
} bal;
int main (void) {
/* Declare and _partially_ initialize an array of the structure above... */
bal struct_array[10] = { {0, NULL} };
/* Question: what doe
浏览 2提问于2021-05-12得票数 3
回答已采纳
3回答
数组初始化
、、
我非常确定内置类型的数组是被初始化的，而UDT的数组是缺省初始化的。
int foo[5]; // will contain junk
Foo foo[5]; // will contain 5 Foo objects that are default initialized
无论数组是分配在堆栈上还是堆上，都会发生这种情况。
然而，我发现很难找到关于这方面的权威来源。Bjarne表示：
“数组和结构的成员是否默认初始化取决于数组或结构是否是静态的”，这并没有告诉我太多。
我也试图在这个标准中找到一些东西，但到目前为止还没有结果。
有没有人知道有权威的消息来源可以证实上面的说法？
浏览 0提问于2009-10-27得票数 0
回答已采纳
我想创建一个泛型类型，比如说
type KeyArr<T>
它将包含T的关键排列的联合。
例如：
type foo = KeyArr<{a:1, b:2}>;
应该和
type foo = ['a', 'b'] | ['b', 'a'];
这能实现吗？
浏览 7提问于2021-04-06得票数 0
回答已采纳
我认为这份C声明：
char input[10]={0}
将input的第一个字符赋值为0，数组中的其余字符赋值为NULL。所有C编译器都会发生这种情况吗？
浏览 5提问于2018-04-23得票数 2
回答已采纳
编辑:由于这似乎是一个bug，我在Github 上打开了一个问题
在下面的示例中，流似乎假设label是mixed类型，尽管道具声明和匿名函数声明都将其绑定到Node。我遗漏了什么？
/* @flow */
import React from 'react';
import type { Node } from 'react';
type Props = {
values: { [string]: Node },
/* … */
};
export default class SelectButtons extends React.Component
浏览 4提问于2017-09-29得票数 1
回答已采纳
3回答
我有一个关于结构、定义和指针的问题。
在链表节点结构的定义中，我们定义了如下结构：
typedef struct node
{
int data;
struct node *next;
}Node;
为什么我们要用这种申报方式而不是：
typedef struct node
{
int data;
struct node next; //changed this line
}Node;
提前感谢！
浏览 3提问于2019-12-27得票数 3
回答已采纳
4回答
这是可行的：
struct LD__32
{
struct LD__32 *ld;
};
但这不是：
struct LD_32
{
struct LD_32 ld;
};
为什么会这样呢？正如pmg猜测的那样，我将其编译为c++代码。编辑过的
浏览 0提问于2011-03-17得票数 2
回答已采纳
1回答
//Language C
int main()
{
int a[5]={0};
for(int i=0 ; i < 4 ; i++ )
printf("%d",a[i]);
}
}
gcc的下一部作品是1000部。但是我认为它应该打印1和rest垃圾值，因为我没有为其他数组位置分配值。
如果没有考虑编译版本，我的想法正确吗？或者我遗漏了什么。
浏览 1提问于2018-04-21得票数 0
回答已采纳
1回答
匹配类型记录中的泛型嵌套对象类型
、、、、
假设我有一个嵌套的对象类型来定义，比方说，用户：
type TestUser = {
name: string;
email: string;
houses: {
address: string;
rooms: {
floor: number;
color: string;
connectedTo: {
id: number;
}[];
}[];
doors: {
浏览 0提问于2022-05-02得票数 1
回答已采纳
2回答
鉴于以下声明：
char inputBuffer[12];
数组中任一字符的默认值是多少？我对此很感兴趣，因为如果我想在任何时候清除数组中的一个位置，我需要知道给它什么值。
浏览 1提问于2014-07-17得票数 10
回答已采纳
1回答
前几天，我在C语言里为大学做了一些矩阵计算，开始时我有一个5x5矩阵，所以我把它硬编码到源代码中。它是一个二维的双打数组，类似于：
/**
* This is the probability-matrix for reaching from any profile
* to another by randomly selecting a friend from the friendlist.
*/
static const double F[5][5] = {
/* P , F , L , A , S */
/* Peter */
浏览 3提问于2015-04-16得票数 1
2回答
假定以下守则：
#include <stdio.h>
#include <stdlib.h>
int main (int argc, char **argv)
{
int arrayXYZ[10];
int i;
int *pi;
int intVar;
for (i=0; i<10; i++){
arrayXYZ[i] = i;
}
pi = arrayXYZ; // Reference 1
pi++; // Reference 2
arrayXYZ++;
浏览 0提问于2018-02-06得票数 5
回答已采纳
您好，我收到错误C2088：'+='：非法的联合错误在visual studio上...同样的代码在gcc上也能正常工作。你能告诉我在c++中用visual studio解决这个问题的解决方案吗？
typedef union {
float sm[8];
} Su;
typedef union {
Su v;
float bm[8];
} Bu;
int main() {
Bu A1, A2;
A2.v.sm[0] = 12.5;
// .... some assignments here
A1.v += A
浏览 2提问于2020-04-29得票数 0
给定以下代码：
char buffer[1024];
char * const begin = buffer;
char * const end = buffer + 1024;
char *p = begin + 2000;
if (p < begin || p > end)
std::cout << "pointer is out of range\n";
执行的比较(p < begin和p > end)是否定义明确？或者这段代码有未定义的行为，因为指针已经超过了数组的末尾？
如果比较被很好地定义了，那么定义是什么？
(额外的奖励
浏览 0提问于2012-12-22得票数 13
回答已采纳
3回答
我正在研究C上的数组，目前，我正在运行以下代码
#include <stdio.h>
signed char cData[][2][3] = {1,2,3,4,5,6};
int main()
{
printf("%d\n", cData[0][0]);
return 0;
}
答案是4210700。
我想知道是如何确定第一个界限的？为什么我得到的号码是4210700而不是1
浏览 4提问于2017-08-07得票数 0
回答已采纳
2回答
对于flow来说非常新，并且试图修复我的代码以包含flow。这是我目前的代码，我已经添加了流类型检查，现在得到了错误，所以我需要正确地注释我的代码：
// @flow
import React, { Component } from 'react';
import { Manager, Reference, Popper } from 'react-popper';
import cx from 'classnames';
import css from './Tooltip.css';
import animationsCss
浏览 0提问于2019-05-14得票数 1
回答已采纳
我有以下代码：
function injectSagas (sagas: Array<Function>) {
sagas.map(store.runSaga)
}
如果sagas数组为空，我能以某种方式使flow trow出错吗？
浏览 2提问于2017-01-10得票数 1
3回答
在C中，您可以部分初始化一个结构或数组，结果是初始化器中没有提到的成员/元素为零初始化。(C99第6.7.8.19条)。例如：-
int a[4] = {1, 2};
// a[0] == 1
// a[1] == 2
// a[2] == 0
// a[3] == 0
您还可以使用字符串文本(C99第6.7.8.14节)初始化“字符类型数组”，以及“连续字符.初始化数组的元素”。例如：-
char b[4] = "abc";
// b[0] == 'a'
// b[1] == 'b'
// b[2] == 'c'
// b[3]
浏览 2提问于2012-08-02得票数 15
回答已采纳
1回答
在嵌套结构中有灵活的数组成员是有效的C代码吗？那么，下面的示例代码是否可以像预期的那样使用正常的编译器？
#include <stdio.h>
#include <stdlib.h>
struct d {
char c;
int ns[];
};
struct c {
struct d d;
};
struct b {
struct c c;
};
struct a {
int n;
struct b b;
};
int main() {
const int n = 10;
struct a *p
浏览 2提问于2015-03-30得票数 4
回答已采纳
1回答
我一直在修改函数指针，我有两个特定的函数打印到控制台；结果显示，它们是8个字节，如下所示：
Function Pointer Addresses:
rb_gc_start addr: 0x6ea81360
rb_gc_mark addr: 0x6ea81368
我能否简单地获得一个指向第一个函数的指针，将8个函数添加到该指针中，并有一个指向第二个函数的指针？
背景:Ruby源代码中有两个函数，rb_gc_start和rb_gc_mark；我正在为a...difficult程序构建一个库。这个程序嵌入了Ruby，但没有Ruby (它禁用加载Ruby扩展或*.so文件)。我几乎重新创建了这个环境
浏览 0提问于2014-11-21得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
