Почему первый элемент в нативной функции javascript — sort() — это второй элемент в моем массиве?

Question

[Nina Fineberg]

Почти во всех доках пишут, что сортировать своей функцией можно вот так:

let arr = [ 15, 2, 9 ];
arr.sort((a, b) => a - b);

Я пытаюсь понять, что же такое первый элемент "a" и второй элемент "b" вот таким образом:

let arr = [ 15, 2, 9 ];
arr.sort((a, b)=> console.log(`a(first) -${a} b(second) -${b}`));
//Chrome and Safari
//a(first)-2 b(second)-15
// a(first)-9 b(second)-2

но получается первый элемент "a" это 2, а второй элемент "b" это 15 ?
Когда я пробую эту же проверку в firefox то у меня получается правильный первый элемент:

//a(first)-15 b(second)-2
//a(first)-2 b(second)-9

Заранее спасибо!

Answer 1

[Rsa97]

Callback-функция в sort - это просто функция, задающая соотношение между сравниваемыми значениями a и b. При работе алгоритма сортировки она вызывается для каждой пары значений и, возможно, неоднократно.

Comments

[Nina Fineberg]

но тогда получается совершенно не важно как я буду сравнивать b>a или a>b или b-a или a-b ? И в чем тогда смысл в обратной сортировке ставить b-a ?

[Rsa97]

Nina Fineberg, У этой callback-функции такой контракт. Она должна показать sort'у, какое из двух значений должно в отсортированном массиве стоять первым.
Если первый аргумент должен идти раньше второго, то функция должна вернуть число меньше нуля. Если первый после второго, то больше нуля. Если аргументы "равны" и порядок неважен, то функция должна вернуть ноль.
При этом названия аргументов неважны, важно вернуть правильное отношение между ними.
Например, такая callback-функция опишет сортировку "сначала нечётные по возрастанию, затем чётные по возрастанию".

[1, 2, 3, 4, 5, 6].sort((x, y) => {
  if (x % 2 === y % 2) {
    return x - y;
  }
  return (y % 2 - x % 2);
});
// [ 1, 3, 5, 2, 4, 6 ]

Callback-функция не обязана быть безымянной лямбдой. Это может быть обычная именованная функция, принимающая два аргумента и возвращающая отношение между ними.

function sortByName(el1, el2) {
  return el1.name.localeCompare(el2.name, 'ru', { sensitivity: 'base' });
}
[
  { name: 'Миша', age: 16 },
  { name: 'Петя', age: 19 },
  { name: 'Вася', age: 23 },
].sort(sortByName);
// [
//   { name: 'Вася', age: 23 },
//   { name: 'Миша', age: 16 },
//   { name: 'Петя', age: 19 },
// ]

Answer 2

[Дмитрий Беляев]

В v8 (chrome/node.js) для Array.prototype.sort используется алгоритм QuickSort, а в SpiderMonkey (Firefox) используется MergeSort
Притом начиная со стандарта 2019 года этот метод должен производить стабильную сортировку, что возможно для обоих этих алгоритмов

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

Comments

[Alexandroppolus]

В v8 (chrome/node.js) для Array.prototype.sort используется алгоритм QuickSort,

вроде недавно перешли на устойчивую сортировку. Timsort, если не ошибаюсь

[Дмитрий Беляев]

Alexandroppolus, давно в эту часть не заглядывал если честно, надо будет посмотреть
Но похоже на правду, учитывая что с ES2019 устойчивость обязательна

Answer 3

[Alexandroppolus]

Реализовано по-разному. ФФ делает compare(a, b), Хром - compare(b, a), только и всего. Оба варианта правильные.

Comments

[Nina Fineberg]

т.е. мне под каждый браузер писать функцию отдельно? если я пишу a-b или a>b я же должна понимать а что с чем я сравниваю ?

[Alexandroppolus]

Nina Fineberg, нет. Функция сравнения compare(x, y) должна вернуть 0, если x===y и их взаимное расположение безразлично, либо значение меньше нуля, если x < y (вернее, если в требуемой упорядоченности x должен быть где-то перед y), иначе значение больше нуля. А сортировка знает, какие значения в каком порядке она передала в твою функцию и как понимать результат.

[Nina Fineberg]

Alexandroppolus, в таком случае зачем передавать условие "x > y" или "x - y", если все равно не понятно что есть "x" а что есть "y" ?

[Alexandroppolus]

Nina Fineberg, как это непонятно? Это два произвольных элемента массива. Когда ты пишешь функцию сравнения, ты знаешь какие там значения могут быть и как их сравнивать. И ты их просто берешь и сравниваешь. При этом неважно, на каких местах они изначально стояли в массиве. Просто сравниваешь два значения.

[Lynn «Кофеман»]

Nina Fineberg, почему непонятно? Понятно x — первый аргумент функции, y — второй