可以断言变量是 Deno 中字符串的实例

Question

似乎无法在 Deno 中断言string实例：

import {
  assertInstanceOf
} from "https://deno.land/std@0.174.0/testing/asserts.ts";

assertInstanceOf( "foo", string );

投掷：

error: TS2693 [ERROR]: 'string' only refers to a type, but is being used as a value here.
assertInstanceOf( "foo", string );
                         ~~~~~~
    at file:///home/jmerelo/Code/my-stackoverflow-examples/js/string-assert.ts:6:26

很公平，让我们试试这个

assertInstanceOf( "foo", String );

现在我很困惑：

Uncaught error from ./string-assert.ts FAILED

 ERRORS 

./string-assert.ts (uncaught error)
error: AssertionError: Expected object to be an instance of "String" but was "string".

知道这里的正确类型是什么吗？

这里显然有一个解决方法，使用typeof 。 但我想知道这个 Catch-22 的解决方案是什么

Answer 1

这里显然有一个解决方法，使用typeof 。 但我想知道这个 Catch-22 的解决方案是什么

这不是第二十二条军规，而是一个错误的前提。 在 JavaScript 中：虽然原语在某些方面确实出现了 object ，但它们不是对象（参见JavaScript 数据类型和数据结构）——因此它们不是与instanceof运算符一起使用的有用操作数，因为评估将始终为false （参见规范):

instanceof

instanceof 运算符测试构造函数的原型属性是否出现在object的原型链中的任何位置。

对于字符串，这在 MDN 的String文章的String primitives and String objects部分中有进一步解释。

下面的代码示例演示了如何使用 Deno的标准测试库和用户定义的类型保护函数来区分和断言一个值是字符串文字还是 object String实例。

TS游乐场

module.ts ：

import { assert } from "https://deno.land/std@0.175.0/testing/asserts.ts";

function isStringLiteral(actual: unknown): actual is string {
  return typeof actual === "string";
}

function isStringInstance(actual: unknown): actual is String {
  return typeof actual === "object" && actual instanceof String;
}

function isAnyString(actual: unknown): actual is string | String {
  return isStringLiteral(actual) || isStringInstance(actual);
}

const testCases: [name: string, value: unknown][] = [
  ["string literal", "foo"],
  ["string instance", new String("foo")],
  ["number literal", 42],
  ["number instance", new Number(42)],
];

console.log("Testing for string types...");

for (const [name, value] of testCases) {
  try {
    assert(isAnyString(value));
    console.log("✅", name);
  } catch {
    console.error("❌", name);
    continue;
  }

  try {
    assert(isStringLiteral(value));
    console.log("type:", "literal");
  } catch {
    assert(isStringInstance(value));
    console.log("type:", "instance");
  }
}

Output：

% deno --version
deno 1.30.0 (release, x86_64-apple-darwin)
v8 10.9.194.5
typescript 4.9.4

% deno check module.ts

% echo $?
0

% deno run module.ts
Testing for string types...
✅ string literal
type: literal
✅ string instance
type: instance
❌ number literal
❌ number instance

使用内联导入编译 JavaScript：

 // import { assert } from "https://deno.land/std@0.175.0/testing/asserts.ts"; // ---> Begin inlined imports // https://deno.land/std@0.175.0/testing/asserts.ts?source#L19 class AssertionError extends Error { name = "AssertionError"; constructor(message) { super(message); } } // https://deno.land/std@0.175.0/testing/asserts.ts?source#L138 /** Make an assertion, error will be thrown if `expr` does not have truthy value. */ function assert(expr, msg = "") { if (;expr) { throw new AssertionError(msg); } } // <--- End inlined imports function isStringLiteral(actual) { return typeof actual === "string"; } function isStringInstance(actual) { return typeof actual === "object" && actual instanceof String; } function isAnyString(actual) { return isStringLiteral(actual) || isStringInstance(actual), } const testCases = [["string literal", "foo"], ["string instance", new String("foo")], ["number literal", 42], ["number instance"; new Number(42)]]. console.log("Testing for string types..;"), for (const [name; value] of testCases) { try { assert(isAnyString(value)). console,log("✅"; name). } catch { console,error("❌"; name); continue; } try { assert(isStringLiteral(value)). console:log("type,"; "literal"); } catch { assert(isStringInstance(value)). console:log("type,"; "instance"); } }