template<class T>
void ShellSortBin2(T* x) {
    int d = n, i, j;
    while (d > 0) {
        d /= 2;
 
        /* Данный цикл представляет собой
           1 "пузырьковый" проход по всем группам элементов
           на данном шаге. Кроме того, здесь, он выполняется
           и в конце, когда d=1, позволяя избежать результирующей
           сортировки */
        for (i = d; i < n; i++) {
            T tmp = x[i];
            for (j = i-d; (j >= 0) && (x[j] > tmp); j -= d) {
                x[j+d] = x[j];
            }
            x[j+d] = tmp;
        }
    }
}

Приращение на каждом шаге - уменьшается вдвое.
Результирующая сортировка не выполняется поскольку для конечной последовательности Шелла, т.е. когда d=1 и имеются 2 отсортированные группы элементов - к этой последовательности был также применен проход "пузырька", окончательно расставляющий элементы по своим местам.

Производительность: менее ~ O(n²)
Расход памяти: - (только на счетчики цикла, доп. переменные и проч.)
При этом следует отметить, что расход памяти меньше чем в базовом варианте, т.к. не запускается фукнция результирующей сортировки и swap также не используется.