Почему ts не ругается на отсутствие аргумента?

Question

[Денис Гончаренко]

Что-то не так с конфигом? Функция по факту не имеет аргументов, но при этом нет никакой ошибки. Сам TS перезапускал несколько раз. При этом все остальное работает правильно, если возвращать неверный тип например, появляется соответствующая ошибка. Раньше с таким не сталкивался

type F = (a: string) => boolean

function f() {
    return true
}

function test(f: F) {

}

test(f)

tsconfig.json

{
    "compilerOptions": {
        "target": "es5",
        "lib": [
            "es6"
        ],
        "jsx": "react",
        "module": "commonjs",
        "rootDir": "src",
        "baseUrl": "./",
        "paths": {
            "@/*": [
                "./src/*"
            ]
        },
        "typeRoots": [
            "src/types",
            "node_modules/@types"
        ],
        "resolveJsonModule": true,
        "allowJs": true,
        "outDir": "build",
        "esModuleInterop": true,
        "forceConsistentCasingInFileNames": true,
        "strict": true,
        "noImplicitAny": true,
        "skipLibCheck": true
    },
    "include": [
        "src/**/*.js",
        "src/**/*.ts",
        "src/**/*.json",
        "src/**/*.tsx"
    ]
}

Comments

[Алексей]

В вики у тайпскрипта это все написано тут

Answer 1

[Вадим]

Что-то не понятное, давайте по порядку:
- На первом скрине Вы вроде как объявили тип, но потом задали не соответствующее типу "значение". То есть в типе должен быть аргумент, в аргументах функции нет аргумента. Ошибки нет, но выглядит странно.
- На втором скрине Вы указали в типе что возвращаете boolean, но возвращаете строку. Вот тут ошибка и ругается именно на это.

Если оставить первый вариант и просто ниже написать test() то должен ругаться что не хватает аргументя для 'a'.

P.s. а ещё у вас уже 63 вопроса. Пора бы начать соблюдать правила и писать код в вопрос не только картинками.

Comments

[WbICHA]

- На первом скрине Вы вроде как объявили тип, но потом задали не соответствующее типу "значение". То есть в типе должен быть аргумент, в аргументах функции нет аргумента. Ошибки нет, но выглядит странно.

А что не так?

(() => boolean) extends (a: string) => boolean ? true : false // true

[Вадим]

WbICHA,

const test: (a: string) => boolean = function () {
    return a === 'hello' // a is not defined
}

[WbICHA]

Вадим, ну да, что не так?)

[Денис Гончаренко]

Вопрос в том, почему на первом скрине константе спокойно присваивается функция, которая не подходит под тип этой константы ввиду отсутствия аргумента.
Вот чуть более сложный пример, почему тут нет ошибки?

[Вадим]

WbICHA, не пойму это сарказм или нет?)
Объявить аргумент в типе функции, но не объявить его в аргументах самой функции, чтобы потом ТС ругался что cant find name 'a'.
Это и не так. Разве нет?

[Денис Гончаренко]

Если бы тут добавили поддержку typescript, я бы вставлял кодом а не картинками.

[Вадим]

Денис Гончаренко, да хотя бы текстом вставили просто в теге code без указания языка. Удобнее же скопировать чем перенабирать руками, согласны?

[Денис Гончаренко]

Вадим, думал тут что-то совсем банальное и я просто туплю, код не придется копировать)

type F = (a: string) => boolean

function f() {
    return true
}

function test(f: F) {

}

test(f)

[Вадим]

Денис Гончаренко, Потому что этот аргумент, который задан в типе, никак не используется, я полагаю

[Вадим]

Денис Гончаренко, То есть наличие аргумента не влияет ни на что. Он не используется ни в типе, ни в аргументах ни в теле функции f(), а функция f() в свою очередь возвращает объявленный в типе результат. Поэтому какая разница, есть там аргумент в типе или нет.

[WbICHA]

Вадим,

Объявить аргумент в типе функции, но не объявить его в аргументах самой функции, чтобы потом ТС ругался что cant find name 'a'.
Это и не так. Разве нет?

Нет. А почему должен?
Функция без аргументов удовлетворяет тип функции с аргументами. Тип функции без аргументов: это общий случай всех функций с аргументами.
Приведёт ли к ошибке передача аргументов функции, которая их не ждёт? Очевидно, что нет. Так почему должна быть ошибка?
Весь тс на такой логике и держится.

[Вадим]

WbICHA, не, эт понятно. Я к тому, что зачем объявлять в типе аргумент, который потом нигде не используется? Вопрос у меня только к этому. То есть это с точки зрения чистоты и читаемости кода - странно.

Ошибка же будет, когда мы попытаемся использовать аргумент в теле функции, который объявлен в типе, но не в аргументах функции.

[Денис Гончаренко]

Вадим, а есть возможность как-то через tsconfig сделать так, чтобы такие не используемые аргументы не игнорились?

[Вадим]

Денис Гончаренко, мне о такой возможности не известно и по доке бегло не находится.

[WbICHA]

Вадим, с точки зрения чистоты кода никто не пишет тип функции перед объявлением. В этом нет смысла, потому что можно написать так:

const f = (a: string) => {
  // ...
  return true
}

В крайнем случае тип функции будет объявлен в отдельном типе:

type F = (a: string) => boolean

const f1: F = (a) => { ... }
const f2: F = () => { ... }

[Вадим]

WbICHA, да, это тоже меня смутило. Поэтому я и сказал что выглядит странно, хоть и ошибки нет. В самом первом сообщении.

[WbICHA]

Денис Гончаренко,

Вадим, а есть возможность как-то через tsconfig сделать так, чтобы такие не используемые аргументы не игнорились?

Ну, можешь написать свой тайпскрипт.)

[WbICHA]

Денис Гончаренко, хотя... Возможно есть еслинт правла для этого, но, боюсь, тогда использовать тс станет настолько больно, что захочется на жс вернуться.)

[WbICHA]

Вадим, ну, говнокод всегда выглядит... Не очень.)

[Aetae]

Вадим,

зачем объявлять в типе аргумент, который потом нигде не используется?

Чтобы не подсунули функцию которая таки ждёт аргумент но другой.