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

Поскольку PlaingCard наследуется от Card, вам не разрешается переопределять метод таким образом.

Подумайте, что произойдет, если вы попытаетесь вызвать совпадение с экземпляром PlayingCard. Какой из двух методов он вызовет? Это было бы двусмысленно и поэтому не допускается.

В этом случае одним из решений является изменение имени метода, который принимает более конкретный тип. например

 func matchPlayingCard(othercards : [PlayingCard]) ->  Int {
     return 2 
 }

Можешь так сделать?

class Card {
    func match(othercards : [Card]) ->  Int {
        return 2 // I changed the return value just to test it
    }
}

class PlayingCard : Card {
    func match(othercards : [PlayingCard]) ->  Int {
        return 1
    }
}

Да!

В частности, вы можете, если Карта не расширяет NSObject.

class Card {
    func match(othercards : [Card]) ->  Int {
        return 2 // I changed the return value just to test it
    }
}

С другой стороны, если Card расширяет NSObject.

class Card : NSObject {
    func match(othercards : [Card]) ->  Int {
        return 2 // I changed the return value just to test it
    }
}

Тогда вы получите ошибку!

Похоже, overloading работает только с "чистыми" классами Swift.

Компилятор Swift должен видеть и PlayingCard, и Card как один и тот же тип. Если кто-то наследует (либо по подтипу, либо по протоколу (при определенных обстоятельствах)), это может объяснить это.

Хотя это можно рассматривать как запах кода, вы также можете проверить тип во время выполнения и использовать только одна функция, как в принятом здесь ответе: Проверка если объект заданного типа в Swift.

Некоторые шаблоны, которые можно применить, приведены в этом объяснении аналогичного примера - хотя вопрос касается C #, могут применяться аналогичные объектно-ориентированные методы: метод переопределения с производным параметром вместо базового.