restriction 相关问题

限制是以某种方式约束或限制代码的任何东西。

我正在定义一个简单的本体论，根据三明治的成分对三明治进行分类。结构如下：课程：成分简介蔬菜鱼肉三明治生物汉堡鱼汉堡数据道具...

owl ontology protege restriction

回答 1 投票 0

在 Typescript 中，如何在编译时将泛型类型限制为多个类之一？例如，如何实现这个伪代码？可变类型类在 Typescript 中，如何在编译时将泛型类型限制为多个类之一？例如，你如何实现这个伪代码？ class VariablyTyped<T has one of types A or B or C> { method(hasOneType: T) { if T has type A: do something assuming type A if T has type B: do something assuming type B if T has type C: do something assuming type C } } 此外，我希望能够将属性（或任何变量）分配给泛型类型选项之一的特定后代类型，而不是仅分配给给定类型之一。例如： class VariablyTyped<T has one of types A or B or C> { descendentClassOfT: T method(hasOneType: T) { descendentClassOfT = hasOneType } } class D extends class C { methodUniqueToD() { } } const v = new VariablyTyped(new D()) v.descendentClassOfT.methodUniqueToD() 这个答案显然并不明显，因为我花了几个小时。在我看来，这个问题的某种形式已经被问过，但给出的解决方案甚至不适合我编译。前面的问题可能只在非常具体的情况下得到回答，因为赞成票的数量表明它正在解决某些人的问题。我发布这个新问题是为了清楚地说明一般问题并跟进解决方案。我为此花了几个小时的时间，但回想起来，解决方案似乎很明显。首先，我提出解决方案，然后将其与以前的方法进行比较。（在 Typescript 2.6.2 中测试。） // WORKING SOLUTION: union of types with type checks class MustBeThis { method1() { } } class OrThis { method2() { } } abstract class OrOfThisBaseType { method3a() { } } class ExtendsBaseType extends OrOfThisBaseType { method3b() { } } class GoodVariablyTyped<T extends MustBeThis | OrThis | OrOfThisBaseType> { extendsBaseType: T; constructor(hasOneType: T) { if (hasOneType instanceof MustBeThis) { hasOneType.method1(); } else if (hasOneType instanceof OrThis) { hasOneType.method2(); } // either type-check here (as implemented) or typecast (commented out) else if (hasOneType instanceof OrOfThisBaseType) { hasOneType.method3a(); // (<OrOfThisBaseType>hasOneType).method3a(); this.extendsBaseType = hasOneType; } } } 该解决方案的以下检查编译得很好： const g1 = new GoodVariablyTyped(new MustBeThis()); const g1t = new GoodVariablyTyped<MustBeThis>(new MustBeThis()); const g1e: MustBeThis = g1.extendsBaseType; const g1te: MustBeThis = g1t.extendsBaseType; const g2 = new GoodVariablyTyped(new OrThis()); const g2t = new GoodVariablyTyped<OrThis>(new OrThis()); const g2e: OrThis = g2.extendsBaseType; const g2te: OrThis = g2t.extendsBaseType; const g3 = new GoodVariablyTyped(new ExtendsBaseType()); const g3t = new GoodVariablyTyped<ExtendsBaseType>(new ExtendsBaseType()); const g3e: ExtendsBaseType = g3.extendsBaseType; const g3te: ExtendsBaseType = g3t.extendsBaseType; 将上述方法与之前接受的答案进行比较，该答案将泛型声明为类选项的交集： // NON-WORKING SOLUTION A: intersection of types class BadVariablyTyped_A<T extends MustBeThis & OrThis & OrOfThisBaseType> { extendsBaseType: T; constructor(hasOneType: T) { if (hasOneType instanceof MustBeThis) { (<MustBeThis>hasOneType).method1(); } // ERROR: The left-hand side of an 'instanceof' expression must be of type // 'any', an object type or a type parameter. (parameter) hasOneType: never else if (hasOneType instanceof OrThis) { (<OrThis>hasOneType).method2(); } else { (<OrOfThisBaseType>hasOneType).method3a(); this.extendsBaseType = hasOneType; } } } // ERROR: Property 'method2' is missing in type 'MustBeThis'. const b1_A = new BadVariablyTyped_A(new MustBeThis()); // ERROR: Property 'method2' is missing in type 'MustBeThis'. const b1t_A = new BadVariablyTyped_A<MustBeThis>(new MustBeThis()); // ERROR: Property 'method1' is missing in type 'OrThis'. const b2_A = new BadVariablyTyped_A(new OrThis()); // ERROR: Property 'method1' is missing in type 'OrThis'. const b2t_A = new BadVariablyTyped_A<OrThis>(new OrThis()); // ERROR: Property 'method1' is missing in type 'ExtendsBaseType'. const b3_A = new BadVariablyTyped_A(new ExtendsBaseType()); // ERROR: Property 'method1' is missing in type 'ExtendsBaseType'. const b3t_A = new BadVariablyTyped_A<ExtendsBaseType>(new ExtendsBaseType()); 还将上述工作方法与另一个建议的解决方案进行比较，其中泛型类型被限制为扩展实现所有类接口选项的接口。这里发生的错误表明它在逻辑上与之前的非工作解决方案相同。 // NON-WORKING SOLUTION B: multiply-extended interface interface VariableType extends MustBeThis, OrThis, OrOfThisBaseType { } class BadVariablyTyped_B<T extends VariableType> { extendsBaseType: T; constructor(hasOneType: T) { if (hasOneType instanceof MustBeThis) { (<MustBeThis>hasOneType).method1(); } // ERROR: The left-hand side of an 'instanceof' expression must be of type // 'any', an object type or a type parameter. (parameter) hasOneType: never else if (hasOneType instanceof OrThis) { (<OrThis>hasOneType).method2(); } else { (<OrOfThisBaseType>hasOneType).method3a(); this.extendsBaseType = hasOneType; } } } // ERROR: Property 'method2' is missing in type 'MustBeThis'. const b1_B = new BadVariablyTyped_B(new MustBeThis()); // ERROR: Property 'method2' is missing in type 'MustBeThis'. const b1t_B = new BadVariablyTyped_B<MustBeThis>(new MustBeThis()); // ERROR: Property 'method1' is missing in type 'OrThis'. const b2_B = new BadVariablyTyped_B(new OrThis()); // ERROR: Property 'method1' is missing in type 'OrThis'. const b2t_B = new BadVariablyTyped_B<OrThis>(new OrThis()); // ERROR: Property 'method1' is missing in type 'ExtendsBaseType'. const b3_B = new BadVariablyTyped_B(new ExtendsBaseType()); // ERROR: Property 'method1' is missing in type 'ExtendsBaseType'. const bt_B = new BadVariablyTyped_B<ExtendsBaseType>(new ExtendsBaseType()); 具有讽刺意味的是，我后来解决了我的应用程序特定问题，而不必约束通用类型。也许其他人应该吸取我的教训，首先尝试寻找另一种更好的方法来完成这项工作。我想保护我的泛型，我这样做了：类型.d.ts type ObjectOptions = BaseObject | ObjectA | ObjectB; interface BaseObject { id: number; } interface ObjectA extends BaseObject { fieldA: string; } interface ObjectB extends BaseObject { fieldB: string; } interface ContainingObject<T extends ObjectOptions> { id: number; info: string; objects: T; } 用法.ts getAllObjects(): ContainerObject<ObjectOptions> { return getAllObjectsData(); } getAObjects(): ContainerObject<ObjectA> { return getAObjectsData(); }

typescript generics restriction typescript-generics

回答 2 投票 0

complexContent xsd:restriction 中未提及的元素属性是否从父类型复制过来？

如果 xsd:restriction 中的元素没有由派生该限制的复杂类型的匹配元素使用的属性，则该属性的计算值是多少

xml xsd restriction

回答 1 投票 0

您能以某种方式用您自己的应用程序限制任何已安装的应用程序吗？

基本上我想创建一个应用程序，您可以在其中选择任何已安装的应用程序，然后限制/取消限制它们。我对应用程序有一个好主意，但需要用户能够限制安装...

xcode swiftui restriction screen-time

回答 1 投票 0

如何处理因身份验证问题导致Google Play开发者账号受限？

开发者您好，我的 Google Play 开发者帐户因身份验证问题而受到限制。以下是情况摘要：我收到了来自