类型推断规则
是编程语言中的一种特性，它允许在编译或解释阶段自动推断变量的类型，而无需显式地指定类型。通过分析变量的赋值表达式或函数返回值，编译器或解释器可以推断出变量的类型，并在后续的代码中进行类型检查。
类型推断规则的优势在于简化了代码的书写和维护，减少了冗余的类型声明，提高了开发效率。它可以减少代码中的冗余信息，使代码更加简洁易读。此外，类型推断还可以帮助开发人员在编码过程中发现潜在的类型错误，提高代码的健壮性和可靠性。
在前端开发中，类型推断规则可以用于JavaScript等动态类型语言，帮助开发人员更好地理解和处理变量的类型。在后端开发中，类型推断规则可以用于Java、Python等静态类型语言的类型推断，提高代码的可读性和可维护性。
在软件测试中，类型推断规则可以帮助测试人员更好地理解被测程序的数据类型，从而设计更全面和准确的测试用例。
在数据库领域，类型推断规则可以用于自动推断数据库表中列的数据类型，减少了手动指定数据类型的工作量。
在服务器运维中，类型推断规则可以帮助运维人员更好地理解服务器上各种配置文件的数据类型，提高配置文件的可读性和可维护性。
在云原生应用开发中，类型推断规则可以用于自动推断容器中各个组件的数据类型，提高应用的可移植性和可扩展性。
在网络通信和网络安全领域，类型推断规则可以用于自动推断网络数据包的数据类型，帮助网络管理员更好地分析和处理网络流量。
在音视频和多媒体处理中，类型推断规则可以用于自动推断音视频文件的编码格式和参数，提高音视频处理的效率和质量。
在人工智能和机器学习领域，类型推断规则可以用于自动推断输入数据的特征和类型，帮助算法模型更好地理解和处理数据。
在物联网应用开发中，类型推断规则可以用于自动推断传感器数据的类型和格式，提高物联网设备的互操作性和可扩展性。
在移动开发中，类型推断规则可以用于自动推断移动应用中各个组件的数据类型，提高应用的性能和用户体验。
在存储领域，类型推断规则可以用于自动推断存储系统中数据的类型和格式，提高数据的可靠性和可用性。
在区块链应用开发中，类型推断规则可以用于自动推断区块链交易的数据类型，提高交易的安全性和可信度。
在元宇宙领域，类型推断规则可以用于自动推断虚拟世界中各种对象的属性和行为，提高虚拟世界的真实感和交互性。
腾讯云提供了一系列与云计算相关的产品，如云服务器、云数据库、云存储等，可以满足不同场景下的需求。具体产品介绍和链接地址可以参考腾讯云官方网站：https://cloud.tencent.com/
相关·内容
我试着从Node移到打字稿，所以我设置了一堆eslint来帮助我：
我似乎无法理解下面的重复错误：
函数缺少返回类型。
这是我的代码，错误是在sns函数上引发的。
const sns = ({config, logger}: SNSInterface) => {
const client = new SNSClient({endpoint: config.sns.endpoint});
const publish = async ({message, topicArn}: PublishInterface) : Promise<void> => {
c
浏览 2提问于2021-03-09得票数 0
回答已采纳
在Java中，我们可以定义一个数组变量并按如下方式初始化它：
int[] prime10 = new int[] { 2, 3, 5, 7 };
在JLS中，分配的右侧称为。JLS语法术语中的初始化器是。
作为所有表达式，ArrayCreationExpression可以在方法调用参数列表中使用：
callMe(new int[] { 2, 3, 5, 7 });
但是，我们也可以使用更短的形式，只使用ArrayInitializer：
int[] prime10 = { 2, 3, 5, 7 };
但是我们不能在中使用相同的初始化器
// ILLEGAL IN JAVA
callMe({ 2
浏览 0提问于2019-02-08得票数 2
我有一个函数，它采用泛型类型参数。很简单：
private static void Run<T>(IList<T> arg)
{
foreach (var item in arg)
{
Console.WriteLine(item);
}
}
我发现不需要指定类型参数就可以调用这个函数：
static void Main(string[] args)
{
var list = new List<int> { 1, 2, 3, 4, 5 };
//both of the following calls
浏览 5提问于2014-10-01得票数 0
回答已采纳
有人能给我解释一下xtext中生产规则和数据类型规则的区别吗？到目前为止，我知道这两个规则都是解析器规则，并且Datatype Rule返回一个原语EDataype，而产生式规则在AST中创建一个EObject。但我看不出他们的语法定义有什么不同：
数据规则: Decimal: INT‘.INT；
产生式规则:模型：(统计+=语句)*；
解析器如何知道哪条规则是什么规则？
浏览 3提问于2013-01-18得票数 1
回答已采纳
1回答
模式匹配推断类型
、、
为什么不检查下面的类型呢？_的类型被推断为Double。
{-# LANGUAGE ScopedTypeVariables, Rank2Types #-}
module Main (main) where
data D a = D a
main =
let
n = D (1 :: forall a. (Floating a) => a)
in
case n of
D (_ :: forall a. (Floating a) => a) -> return ()
浏览 2提问于2017-01-02得票数 2
回答已采纳
这是我的水晶代码，代码片段，但我认为它都在那里：
# spec_helper.rb
def fixtures
rawhash = JSON.parse(File.read("spec/fixtures/state3.json"))
rules = rawhash["rules"]
id = rules.as_h.keys[0]
hash = rules[id]
return id, hash
end
# rule_spec.rb
key, hash = fixtures
rule = Rule.new(key, hash)
rule.ar
浏览 0提问于2018-10-31得票数 1
回答已采纳
请参阅下面的片段
declare function foo<T>(a: T): (b: T) => boolean;
foo(111)(222); // T inferred as 'number'
foo('hello')('bye'); // T inferred as 'string'
declare function bar<T extends number | string>(a: T): (b: T) => boolean;
bar(111)(222);
浏览 2提问于2018-11-02得票数 1
回答已采纳
考虑以下代码：
export const func = (foo?: number) => {
const isNumber = typeof foo === 'number';
return isNumber ? Math.max(foo, 0) : 0;
};
在这里，TS抱怨undefined不能应用于Math.max。另一方面，这种方法工作得很好：
export const func = (foo?: number) => {
return typeof foo === 'number' ? Math.max(foo, 0) :
浏览 2提问于2019-11-28得票数 0
回答已采纳
3回答
使用字符串文本的自动
、、、、
#include <iostream>
#include <typeinfo>
int main()
{
const char a[] = "hello world";
const char * p = "hello world";
auto x = "hello world";
if (typeid(x) == typeid(a))
std::cout << "It's an array!\n";
else if (type
浏览 4提问于2012-08-18得票数 21
回答已采纳
我觉得在上试试会更清楚
function identity<T extends (...args: any[]) => any>(fn: T): T {
return fn;
}
function fn(args: {
cb: (foo: number) => void,
}) {}
fn({
cb: identity((foo /* infers number */) => {}),
});
function fn2(args: {
cb?: (foo: number) => void,
}) {}
fn2({
cb: iden
浏览 0提问于2021-04-03得票数 7
理论问题:如果你使用这个结构
if (someVar is object o) {
然后输入null for someVar，结果将是假的。另一方面，如果你用
if (someVar is var o) {
结果将是正确的。为什么是这样？
完整的测试代码：
object obj = null;
if (obj is object o) {
"object".Dump();
o.Dump();
}
if (obj is var o2)
{
"var".Dump();
o2.Dump();
}
LinqPad的结果：
var
nul
浏览 2提问于2019-04-11得票数 3
回答已采纳
没有类型注释但具有初始值的变量和参数的类型(在类型注释的意义上，而不是type())是什么类型？例如，
foo = 2
bar = False
baz = MyClass()
bazz = None
从 和判断，foo、bar、baz目前将被指定为int、False和MyClass类型。不过，这有什么地方是标准化的吗？那么bazz呢？那还有什么
def my_func(param1 = 2, param2 = False):
...
？类型检查器会强制传递给my_func的参数分别为int和bool类型吗？
请注意，我对现状不太感兴趣，例如，像Mypy这样的类型检查器的当前实现。相反
浏览 1提问于2020-10-23得票数 3
回答已采纳
使用2.13进行了测试，但我猜想从2.12开始就这样了，我以前从未遇到过这种问题：
trait Extractor[-X, +Y] {
def optional :X => Option[Y] = apply
def apply(x :X) :Option[Y]
def andThen[Z](extractor :Extractor[Y, Z]) :Extractor[X, Z] = {
val first = optional; val second = extractor.optional
Extractor { x :X
浏览 4提问于2020-03-13得票数 2
回答已采纳
1回答
我有一个像这样的模板功能：
template<class RenderableFunc>
void DrawModels(const RenderQueue& renderQueue, RenderableFunc&& preDrawFunc)
{
// .......
}
然后这样称呼它：
auto preDrawRenderable = [this](const Renderable& renderable)
{
//
浏览 4提问于2014-06-15得票数 1
回答已采纳
我想禁用在打字稿中使用“任意”的能力。例如，我有以下函数
func() {
return true
}
我想要求它是这样
func(): boolean {
return true
}
我知道TSLint可以检查这一点，但我可以忽略它，仍然编译。是否需要这样做才能在TSConfig文件中进行编译？
浏览 1提问于2019-06-14得票数 9
关于以下扩展方法：
public static class Extensions
{
public static void P<T>(this T value) { }
public static TResult F<T, TResult>(this T value)
{
return default(TResult);
}
}
当我尝试将它们与各种类型参数选项一起使用时，我得到了以下结果：
1.P(); // Compiler just fine
1.P<int>(); // R# says "Ty
浏览 1提问于2015-06-16得票数 0
我使用的是，我有以下警告：
warning Missing return type on function
这是我的密码：
useEffect(() => {
window.addEventListener('scroll', fetchAllFriends, { once: true })
return () => {
window.removeEventListener('scroll', fetchAllFriends)
}
}, [fetchAllFriends])
这是否意味着我们需要在retu
浏览 0提问于2020-05-22得票数 2
回答已采纳
1回答
我希望每个变量在声明时都必须有一个显式类型。
我应该如何配置eslint？
const a = 10; // Error: Variable a does not explicitly specify a type
const b:number = 10; // Right!
浏览 4提问于2022-07-13得票数 1
下面的示例似乎非常简单明了：
void ftest(size_t& arg)
{
std::cout << arg << '\n';
}
int main()
{
size_t max = 5;
for (auto i = 0; i < max; ++i)
ftest(i);
}
但是它不会编译(至少使用VS2013)，因为I被推断为int，而不是size_t。问题是，如果它不能依赖条件字段，那么在这种for循环中自动有什么意义呢？如果编译分析整个语句并给出预期的结果而不是我们现在所拥有的结果，
浏览 1提问于2016-07-20得票数 3
回答已采纳
我只是一个不主修计算科学和工程的霍布比人。
最近，我做了一个很小的函数式编程语言：
但是nabi是非类型化的，所以我想给它添加一个类型检查器。
我的一个具体目标是实现一个基于haskell98的类型检查器，但它支持惟一的扩展“关联类型同义词”。
我正确地阅读了报纸，然后尝试创建约束-entailment函数({##**$}}-}-)。
但是我没有做到这一点，因为我很难将推理规则"EQ_subst“应用到无限循环中。
你能给我一点提示吗?告诉我如何实现我的目标？
)我希望用样式表示类型。
非常感谢你阅读我的问题。新年快乐。
浏览 3提问于2019-12-31得票数 2
回答已采纳
2回答
以下是代码
class Program
{
public static bool IsGreaterThan<T>(T x, T y) where T : IComparable<T>
{
return (x.CompareTo(y) > 0);
}
static void Main(string[] args)
{
var result = IsGreaterThan(20,10);
Console.WriteLine(result);
}
}
只要看看当调用像
浏览 3提问于2011-06-21得票数 0
回答已采纳
我正在为我自己的DSL语言编写一个定制的Xtext编辑器，现在我想将If-语句添加到我的语言中。这些声明如下所示：
if (TRUE) {
(...)
}
但是，当我尝试添加它们时，我会得到一个错误："A类本身可能不是一个超级类型“。
到目前为止，这是我的代码：
grammar XtextTest with org.eclipse.xtext.common.Terminals
generate xtextTest "http://www.my.xtext/Test"
Model:
statements+=Statement*;
Statement
浏览 3提问于2019-08-12得票数 1
回答已采纳
1回答
由于F#使用，类型推断使用，所以F#类型规则在哪里表示为查找。我怀疑它们不是发布的，很容易找到，甚至不能作为推理规则使用，这就是我为什么要问的原因。
谷歌F# type rules没有返回任何相关信息。
搜索给出了section 14 - Inference Procedures的解释，但没有给出实际的规则。
我知道我可以通过阅读F#源代码()来提取它们，但这需要时间来提取和验证。另外，虽然我精通Prolog，这给了我一些了解约束求解器的帮助，但仍然有一个学习曲线供我阅读。
浏览 3提问于2016-05-02得票数 2
回答已采纳
1回答
我想这可能和有关
如果我们使用以下类，它们在JDK 6下可以很好地编译：
public final class Foo<V> {
private final V value;
private Foo(final V value) {
this.value = value;
}
public static <T, R extends T> Foo<T> of(final R value) {
return new Foo<T>(value);
}
}
final c
浏览 0提问于2011-12-29得票数 8
回答已采纳
我有下面的tsconfig.json
{
"compilerOptions": {
"allowJs": true,
"allowSyntheticDefaultImports": true,
"baseUrl": "src",
"isolatedModules": true,
"jsx": "preserve",
"esModuleInterop": true,
"forceCons
浏览 0提问于2019-05-21得票数 1
回答已采纳
2回答
我目前正在学习OCaml，我很好奇OCaml是如何进行类型推断的。我知道这是通过一个叫做统一的过程来完成的，我试着在发表的论文中阅读关于算法的内容，但这个符号让我大吃一惊。有谁能为我描述一下这个循序渐进的过程吗？
浏览 0提问于2012-10-04得票数 11
回答已采纳
我很惊讶这种类型的衰变并没有很好地解释在这样或其他地方，也许我没有使用正确的术语进行搜索，或者我没有正确地理解整个事物。我的问题是:它是什么，它是如何(为什么)到达那里的，它的规则是什么？
如果你想知道我为什么要问这个问题，下面是我哭哭啼啼的衰变故事(不过，不是这个问题的主题)：
最近，我遇到了一些简单的模板，我想做这样的事情：
template <class FunObj>
double DoStuff(FunObj fob) // note that this returns double, not FunObj, as e.g. std::for_each() does
{
浏览 0提问于2014-09-11得票数 10
回答已采纳
1回答
考虑以下结构：
struct SomeWrapper
{
public Guid guid;
public static implicit operator SomeWrapper(Guid guid) => new SomeWrapper {guid = guid};
}
该结构定义了一个隐式操作符，用于将Guid视为SomeWrapper，非常简单。除了第一个PleaseDoNotCompile之外，以下所有方法都会编译
static Task<SomeWrapper> PleaseDoNotCompile() => Task.Run(() =&g
浏览 2提问于2021-06-24得票数 1
回答已采纳
1回答
[编辑:下面讨论的声明在C++和现代C中是无效的；它们依赖于C的“隐式整数”规则，该规则后来被删除。Herb Sutter讨论了change 。感谢评论者和user2079303指出这一点。]
我想知道C++中常量变量类型的推断。
我们的旧编译器编译声明const n = 1;。我假设n的类型应该是const int。我认为int不是从初始化表达式(1)的类型推断出来的，而是一个简单的语法规则。
那么在const n = 1u;中n的类型是什么？我假设它也是int，但在C++17标准草案中找不到该规则(这让我怀疑它是否真的是非法的，但可以被宽松的编译器容忍)。同样令人感兴趣的是，是否会与C有区
浏览 0提问于2018-02-19得票数 1
1回答
考虑有一个父类和几个继承自该父类的子级的情况。设置一个TypeVar，以便在传递或返回子对象时键入提示。为了简单和幻想，只有一个孩子被创造出来。
from typing import TypeVar
class Parent(object):
pass
class Child(Parent):
pass
T_co = TypeVar("T_co", bound=Parent)
根据应用的类型暗示位置，mypy的响应会有所不同。当应用于返回时，mypy将引发以下错误
def hint_return() -> T_co:
return Chil
浏览 0提问于2020-03-27得票数 0
回答已采纳
斯威夫特可以推断出文字是双或浮动的。
let x: Float = 3
它甚至适用于算术。在进行数学计算之前，它将转换所有内容，所以这也是3：
let y: Float = 5/2 + 0.5
但这方面的实际规则是什么？有一些不明确的情况，例如，如果推断是针对参数的：
func foobar(_ x: Int) -> Int {
return x
}
func foobar(_ x: Float) -> Float {
return y
}
foobar(1/2)
在本例中，它将其推断为int并返回0，但如果删除第一个函数，它将切换到float并返回0.5。
规则是什么
浏览 0提问于2018-09-18得票数 0
回答已采纳
每当eclipse中的源代码中缺少泛型时，它建议我“推断泛型类型参数...”
问题是我不认为“推断泛型类型参数...”有没有真正推断出任何东西。它通常不会提出任何建议。
它适用于哪些场景？它怎麽工作?
在一些情况下，可以“推断”一些东西-- eclipse仍然是空白的。
浏览 0提问于2012-11-30得票数 8
回答已采纳
3回答
我想知道Java7中泛型类型推断的性能损失是什么。“泛型方法类型推断”成本(即)与“泛型赋值类型推断”成本(即)是否不同？我想，由于泛型的类型推断是在编译时完成的，所以成本可以忽略不计。
另外，就Java8中的“改进的类型推断”(即)而言(由于lambda的原因)，这是否也会对性能造成影响？Java 8中类型推断的性能成本与Java 7中的有何不同？
我意识到这些都是困难的(可能是消息不灵通的)问题，因此，欢迎任何意见。
浏览 3提问于2013-05-22得票数 3
回答已采纳
我在操场上创建了TypeScript：
interface Test{
a: string
b: string
}
const object: Test = {
a: 'b',
b: 'c',
}
function testIt(): Test[] {
const data = [{b: '2', c: '3'}]
const prices: Test[] = data.length ? data.map((item) => {
return {
浏览 1提问于2018-12-13得票数 8
回答已采纳
2回答
从官方的JavaJDK1.7指南中，我得到了这个引用，但我不明白它是如何工作的。有人能解释吗？换句话说，当钻石传递空字符串时，钻石是如何推断出整数类型的？
MyClass myObject =新MyClass<>("")；
在本例中，编译器为泛型类MyClass的形式类型参数X推断类型Integer。它为这个泛型类的构造函数的形式类型参数T推断类型字符串。
浏览 5提问于2013-10-25得票数 1
回答已采纳
1回答
推理不能给出与*相同的结果
、、、、
我可以用这样的方式向前链接：
static final String inputData = "http://cgi.di.uoa.gr/~pms509/past_projects/2014-2015/hw1/kallikratis.n3";
MemoryStore store = new MemoryStore();
Repository repo = new SailRepository(new ForwardChainingRDFSInferencer(store));
System.out.println("Forward chaining enabled
浏览 7提问于2015-12-04得票数 3
回答已采纳
2回答
看到scala总是正确地推断出这种类型，我总是很着迷。斯卡拉是怎么做到的？
scala> val num = 5
num: Int = 5
scala> val num = "5"
num: String = 5
我知道这可能是个非常愚蠢的问题，但我不知道答案。请指点我。谢谢!
浏览 4提问于2017-10-02得票数 1
回答已采纳
我有以下三个功能，除了一些非常小的差异之外，它们几乎是相同的：
function toInt1(x: string): number { return parseInt(x, 10); }
const toInt2 = function (x: string): number { return parseInt(x, 10); };
const toInt3 = (x: string): number => parseInt(x, 10);
现在我刚开始接触TypeScript，但是在JS中，我更喜欢第三个，因为它最简洁、最严格(没有this，没有函数名称的提升)。
然而，当我在这个
浏览 3提问于2016-05-22得票数 0
回答已采纳
为什么我必须显式地提供泛型参数类型，而编译器应该推断该类型？
public static T2 Cast<T1,T2>(this T1 arg) where T2 : class where T1 : class
{
return arg as T2;
}
样本使用情况：
objOfTypeT2 = objOfTypeT1.Cast<TypeT1,TypeT2>();
与我想要的使用更智能的编译器相比：
objOfTypeT2 = objOfTypeT1.Cast<TypeT2>();
或许我应该更聪明些-)
请注意，我提供了返回类型。我不想提供
浏览 2提问于2010-12-18得票数 16
回答已采纳
考虑使用模板构造函数从std容器继承的类，模板构造函数调用容器的底层构造函数。此模板构造函数适用于简单的复制和移动构造函数，但不适用于initializer_list ctor。
template<typename container_T>
class test : public container_T {
public:
using container_type = container_T;
test() {}
// templated constructor
template<typename T>
test(T t)
: cont
浏览 3提问于2013-10-20得票数 5
回答已采纳
我有这个密码
type Check<F, T> = F extends string
? string
: T
type Func2 = <F extends T[] | string, T>(functor: F) => Check<F, T>
const x: Func2 = (x: any) => x[0]
const y = x([1, 2])
const z = x("abc")
我得到的是unknown类型的y，而对于z，它是非常好的。
调用x for y的推断类型是-
const x: <numb
浏览 1提问于2020-09-26得票数 0
回答已采纳
我通过从ghci中检查类型声明来声明类型，但是加载模块会导致错误：
even-fibbanaci-sum.hs:7:12: error:
Couldn't match expected type ‘a’ with actual type ‘Double’
‘a’ is a rigid type variable bound by
the type signature for:
getFib :: forall b a. (Integral b, Floating a) => b -> a
at even-fi
浏览 1提问于2016-07-19得票数 2
回答已采纳
为什么以下示例中的&&参数类型不表现为所谓的“通用引用”，即使它似乎处于“推导的上下文”中，而是被解释为r值：
auto main() -> int {
using MyFn = void (*)(int &);
MyFn special = [](auto && thing) {}; // compile error, deduced as int && rather than int&
return 0;
}
而下面这些，我希望它是等价的，是否有效呢？
temp
浏览 6提问于2022-03-05得票数 8
是否有一种方法/工具可以将Java源代码从使用原始类型自动转换为使用泛型类型？
我有一些遗留代码，引用了677个原始类型：
ArrayList 47
Vector 420
Hashtable 61
Enumeration 64
Class 7
Iterator 78
TOTAL 677
现在，我可以手动查看代码来推断泛型类型并进行替换，但这将需要很长时间。
浏览 0提问于2010-04-01得票数 5
回答已采纳
在以下方面有什么区别：
const CONSTANT = 'VALUE';
const object = { property: CONSTANT };
和
const CONSTANT = 'VALUE' as const;
const object = { property: CONSTANT };
在这两种情况下，CONSTANT的类型被推断为"VALUE" (而不是string)。但是，只有在第二种情况下，object的类型被推断为：
{
property: "VALUE";
}
而不是作为：
{
prop
浏览 1提问于2021-06-02得票数 1
回答已采纳
我有4个静态助手方法，如果可能的话，我想要组合成一个。除了输入参数数据类型之外，每个方法都是相同的，并在ReturnDto和ReturnDto类型中设置一个值。我对Generics相当陌生，但我甚至不确定这在一个有效的问题上是否可行，除了有4个强类型方法。
private static ReturnDto<int> MethodName(int val)
private static ReturnDto<string> MethodName(string val)
private static ReturnDto<bool> MethodName(bool
浏览 6提问于2017-09-28得票数 1
回答已采纳
这是一个bug还是特征？以下代码在Java 7中运行良好，但在Java 8中抛出异常：
最后一个命令在ClassCast中抛出一个Java8异常，上面所有的“等效”命令都以相同的方式工作。
我认为问题在于，在Java8中，编译器决定在最后一行中使用String.value(char[])，而不是像在Java 7中那样使用String.value(Object)。我是不是遗漏了什么？
注意:正如Marko所指出的，这可能与Java 8中引入的目标类型推断有关。
public class Test {
public static void main(String[] args) {
浏览 2提问于2014-04-18得票数 30
回答已采纳
2回答
我用方法创建了一个类，它返回对成员的引用(不是很好的封装)。我用auto来重新调整功能
class classA
{
public:
classA(classA & rhs)
{
cout<<"copy constr A"<<endl;
};
classA() = default;
};
class classB
{
private:
classA obA;
public:
classA& getRefA(){return obA;}
};
浏览 0提问于2016-10-21得票数 0
回答已采纳
我有一个简单的方法：
public static T GetValue<T>(SqlDataReader reader, int columnIndex, T defaultValue = default(T))
{
return reader.IsDBNull(columnIndex) ? defaultValue : (T)reader[columnIndex];
}
以及它的用法：
string s = SqlUtils.GetValue<string>(reader, nameOrd);
我问自己，如果从用法上可以清楚地看到返回参数的类型是
浏览 0提问于2012-07-17得票数 3
回答已采纳
代码
const test = {
a: 'b',
c: 'd',
} as const;
const toPick: string = 'a';
if (toPick in test) {
console.log(test[toPick]); // not "b" (Error)
}
没有as const也有错误
错误
元素隐式具有“任意”类型，因为“string”类型的表达式不能用于索引类型'{ readonly a: "b"; readonly c: "d"; }&#
浏览 0提问于2021-08-31得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
