Tslint: 비 부울 컨텍스트에서 사용되는 논리 연산자에 대해 strict-boolean-expressions가 실행되지 않아야 합니다.

생각? 기도? 시작 위치/방법에 대한 제안은 무엇입니까?

@marcind 규칙을 바꾸는 것과 어떻게 다르게 동작해야 하는지에 대한 예를 제공할 수 있습니까?

죄송합니다. 처음 제출한 부분 중 어느 부분이 불분명합니까?

내 요점은 이 규칙이 "부울 컨텍스트"에서만 실행되어야 한다는 것입니다. 두 가지 경우를 생각할 수 있습니다.

1. if , while 또는 for
2. boolean 유형의 변수에 할당됩니다.

기본값 또는 단락 평가를 제공하려고 할 때 규칙이 실행되지 않아야 합니다.

1. const a: string = potentiallyUndefinedString || "the default";
2. const a: string | undefined = potentiallyUndefinedObject && potentiallyUndefinedObject.getString()

"allow-undefined-union" 옵션을 사용하면 마지막 게시물의 @marcind 예제가 작동합니다.

요청의 다른 부분은 if , for , while , do ... while 및 조건부만 확인하는 strict-boolean-conditions 라는 별도의 규칙이어야 합니다. 표현식( x ? y : z ).
나는 그것이 구성 요소가 아닌 전체 조건의 유형 만 확인한다고 상상할 수 있습니다.

function foo(a: boolean, b?: boolean) {
    if (b || a) {} // passes, result is always boolean
    if (b && a) {} // fails, result is boolean | undefined
    if (a || b) {} // fails, result is boolean | undefined
    if (a || !!b) {} // passes
}

아마도 이것은 새 규칙 대신 기존 규칙에 대한 옵션일 수 있습니다.

제 생각에는 strict-boolean-expressions 는 && 및 || 의 왼쪽 피연산자만 확인해야 합니다. 이러한 연산자는 (본질적으로) 삼항에 대한 설탕입니다. a && b 는 a ? b : a 와 같고 a || b 는 a ? a : b . 이러한 용어로 생각할 때 RHS를 무시하는 것은 많은 의미가 있으며 단락 연산자의 동작은 삼항의 동작과 일치하게 됩니다.

그런 다음 전체가 if/for/while 안에 있으면 strict-boolean-conditions 가 작동하여 전체 표현식을 확인할 수 있습니다. 나는 이것이 모든 유용한 경우를 다룰 것이라고 생각하고 이 규칙을 다시 켤 수 있을 것입니다.

이것을 문제로 표시한 코드는 다음과 같이 문서화된 일반적인 React 패턴 이었습니다.

function Foo(props: { showToggle: boolean }) {
  return <div>{props.showToggle && <Toggle />}</div>;
}

ERROR: 2:36 strict-boolean-expressions This type is not allowed in the operand for the '&&' operator because it is always truthy. Allowed types are boolean, null-union, undefined-union, string, or number.

@ajafff 상수 RHS로 인해 모든 규칙 옵션이 활성화된 경우에도 그의 코드는 린터를 전달하지 않습니다.

export function valueOrDefault(a?: string) {
  return a || "the default";
}

"strict-boolean-expressions": [true, "allow-null-union", "allow-undefined-union", "allow-string", "allow-number", "allow-mix"]

ERROR: 2:15 strict-boolean-expressions This type is not allowed in the operand for the '||' operator because it is always truthy. Allowed types are boolean, null-union, undefined-union, string, or number.

표현의 의도는 LHS에 대한 조건부이므로 RHS를 무시하자는 내 제안은 그의 문제도 해결할 것입니다.

&& 및 || 의 RHS를 확인하는 것이 버그라는 데 동의합니다.

나는 또한 && , || 의 LHS 및 ! 의 피연산자에 대한 검사를 완화하는 경향이 있습니다. 표현식이 항상 참인지 항상 거짓인지만 확인해야 합니다.
그러면 if , for , while , do ... while 조건 및 부울(또는 기타 구성된 모든 항목만 허용하는 엄격한 검사를 위한 조건식)만 남습니다. ). @adidahia 생각?

현재 사용 가능한 구성 옵션으로 이 규칙을 활성화하려면 코드 기반을 사용하는 데 며칠이 소요됩니다. :(

number , null 또는 undefined 가 boolean 로의 암시적 변환을 방지하기를 희망하여 활성화했습니다. 예를 들어:

if (!!array.length) { /* ... */ }

md5-d563d6246c0e981c16f8a2b3d7f53974





md5-430ec08bab82330fa4e519419e9ad014




However I find the following uses acceptable:



md5-70351fc6fdb328ee060919d6974e2cf4



```tsx


md5-036fd2ddd516eac8e1379cdcb9ac2b9a

나는 이것이 @marcind가 제안한 것과 일치한다고 생각

나는 또한 &&의 LHS에 대한 검사를 완화하는 경향이 있습니다. || 그리고 ! 의

@ajafff 이렇게 하면 if (!!array.length) 또는 if (!possiblyNull) 합법화됩니까?

@ajafff @adidahiya 추가 생각이 있으신가요? @rhys-vdw와 똑같은 상황입니다.

내 자신의 프로젝트를 뻔뻔하게 광고:
이번 호의 마지막 활동 이후로 저는 Fimbullinter 프로젝트인 저만의 린터를 만들었습니다. 빠른 시작을 위한 문서 읽기: https://github.com/fimbullinter/wotan/blob/master/packages/wotan/README.md

여기에는 no-useless-predicate 규칙이 포함되어 있으며 이는 찾고 있는 것일 수 있습니다. TSLint의 strict-type-predicates 와 strict-boolean-expressions 의 조합이지만 몇 가지 주요 차이점이 있습니다.

TSLint의 strict-type-predicates 와 달리 --strictNullChecks 없이도 작동하며 유형 매개변수와 빈 객체 유형을 올바르게 처리합니다. (아마도 이 호에 가입한 사람들에게는 그다지 흥미롭지 않을 것입니다)
TSLint의 strict-boolean-expressions 의 주요 차이점은 모든 것이 부울일 필요가 없다는 것입니다(암시적 강제 변환을 감지하지 않음). 모든 조건이 참과 거짓이 될 수 있어야 합니다.

몇 가지 예:

if (0) {} // error, always falsy
if (1) {} // error, always truthy
declare let array: string[];
if (array.length) {} // no error
if (!array.length) {} // no error
if (!!array.length) {} // no error
if (array.length === undefined) {} // error, condition is always false
if (!!false) {} // 2 errors, because of the double negation of an always falsy value

declare let someString: string;
return someString || 'some default string'; // no error, because 'someString' might be falsy

declare const foo: 'bar' | 'baz';
return foo || 'bas'; // error, 'foo' is always truthy

declare let optionalFunction: (() => void) | undefined;
optionalFunction && optionalFunction(); // no error

내 실제 코드에서 다음 사용 사례로 차임하고 싶습니다.

export interface ILoggingRule {
    readonly isFinal?: boolean;
    readonly loggerNamePattern?: string;
    readonly maxLogLevel?: LogLevel;
    readonly minLogLevel?: LogLevel;
    readonly target: Target;
}

// ...

/**
 * Creates an instance of LoggingRule.
 * <strong i="6">@param</strong> options Configuration options of the logging rule.
 */
public constructor(options: ILoggingRule) {
    // tslint:disable:strict-boolean-expressions
    this.isFinal = options.isFinal || false;
    this.loggerNamePattern = options.loggerNamePattern || "*";
    this.maxLogLevel = options.maxLogLevel || LogLevel.Fatal;
    this.minLogLevel = options.minLogLevel || LogLevel.Trace;
    this.target = options.target;
    // tslint:enable:strict-boolean-expressions
}

보시다시피 LHS가 정의되지 않은 경우 기본값을 나타내기 위해 || 를 사용하고 있습니다. tslint 이 strict-boolean-expressions 준수한다는 것을 이해하도록 하는 간결한 방법이 있습니까? 그렇지 않으면 비활성화/활성화 명령을 사용해야 합니다. (놀랍게도 이것은 VSCode가 아닌 유형 검사가 활성화된 경우에만 발생하는 문제입니다.)

이 사용법은 표준이며 JavaScript에서 매우 일반적이며 편리하며 이 규칙이 실패하도록 트리거해서는 안 됩니다.

IMHO && 및 || 의 RHS는 확인하지 않아야 합선을 허용합니다. 이것은 기본 동작이어야 합니다(또는 적어도 allow-any-rhs 와 같은 옵션이 있어야 함). 현재 코드 기반에 많은 단락이 있기 때문에 strict-boolean-expressions 사용할 수 없습니다.

string 또는 number 를 LHS로 사용하는 것은 위험할 수 있으므로 LHS를 그대로 IMHO로 확인해야 합니다. 다음 예를 참조하세요.

function foo(x: string | number | null) {
  return x || defaultValue;
}

이는 많은 개발자가 null 뿐만 아니라 0 및 "" 로 인해 defaultValue 가 반환된다는 것을 이해하지 못하기 때문에 위험합니다.

개발자가 "" 및 0 도 거짓임을 고려하지 않았기 때문에 프로젝트의 주요 버그를 처리해야 했습니다. 이러한 종류의 코드를 방지하는 것이 strict-boolean-expressions 주요 사용 사례입니다.

https://github.com/palantir/tslint/pull/4159 에서 수정되었습니다. 공동 작업자의 검토가 필요합니다.

죄송합니다. 제 예 중 하나가 잘못되었음을 명확히 하고 싶었습니다.

const x = possiblyUndefined || 5;

possiblyUndefined 는 논리 오류일 수 있는 0 일 수 있기 때문에 작동하지 않아야 합니다. @dobesv 의 PR이 여기에서 작동하는 것 같습니다.

배열에 대한 포함은 ES7 기능입니다.
ES7 또는 ESNEXT 🦄를 사용하려면 구성을 변경해야 합니다.

🚀

@rimiti 안녕하세요, 무엇을 말씀하시는지 모르겠습니다. 올바른 스레드에 해당 댓글을 게시하셨습니까?

@dobesv 아, 죄송합니다 ;)

#4159로 수정됨, 다음 릴리스에서 사용 가능