Попробую собрать в едино все споры из комментариев.
Касательно ускорения - смысл ускорения - это использовать какие-то необычные принципы, которые могут дать результат за меньшее к-во тактов процессора. Ниже поясню что используется для ускорения и зачем.
Указание auto
даёт свободу компилятору, и он сможет делать с переменной что захочет, например задействовать регистр процессора (они самые быстрые), а не создавать её в стеке. Это и есть ускорение. Так же это "сигнал" оптимизатору, который возможно применит тут оптимизацию которую он умеет делать. Возможно указание register
вместо auto
даст тот же результат, несколько лет назад отдельные источники рекомендовали register
.
Использование SSE MMX. Есть определенный набор команд, который позволяет, например сравнивать одновременно 4 пары чисел за одну инструкцию. При колличестве данных думаю от 1000 штук, это даст эффект. Писать нужно на ассемблере, и такой набор команд должен быть на процессорах у того - кто будет использовать программу. Т.е. или intel/amd или свежий intel/amd, не ARMv7 и т п.
Использование встроеных в ЦП операций большей разрядности над данными меньшей разрядности. Например 32-битных или 64-битных операций над 8-битными числами.
Если массив у вас 8-битный беззнаковый, то применив тест допустим *((int*)(a + i)) & 0xF0F0F0F0
(что равно *((int*)&a[i]) & 0xF0F0F0F0
) вы можете проверить, содержит ли двойное слово байты больше чем 15 (0xFF-0xF0 = 0xF = 15) или не содержит. Если не содержит - то условно не делать поиск внутри этих 4-х байт раздельно сэкономив 3-ри инструкции сравнения, иначе итого 1+4=5 инструкций (вместо 4) + накладные расходы. При определённых условиях это может дать небольшой прирост производительности. Возможно можно ещё придумать похожую "хитрость" игры с битами.
Отказ от цикла улучшает производительность. Если к-во елементов в цикле внутри алгоритма - константа и оно малое, где-то до 20 или до 100 элементов (я так думаю, возможно и до 1000) - то можно составить древесную условную структуру, для поиска максимума без цикла, что даст ускорение. В этом поможет тернарный оператор.
#define MAX2X(a,b) ((a>b)?a:b)
// тогда
max = MAX2X(a[0],a[1]); // для двух
max = MAX2X(MAX2X(a[0],a[1]), a[2]); // для трёх
max = MAX2X(MAX2X(a[0],a[1]), MAX2X(a[2],a[3])); // для чётырёх
Универсальный поиск можно сделать через template. В template-аргументы можно подставлять константы.
template<typename T, size_t N>
T FindMax(T (&a)[N])
{
switch (N) {
case 2: return MAX2X(a[0],a[1]);
case 3: // .....
// и так далее
default:
// assert-ошибка
;
}
}
Учтите что такое ускорение приводит к разрастанию кода. До определённого момента ускорение будет расти, но после критического значения будет падать.
Может ли оптимизатор сам сгенерироваь такое из примера который в вопросе - сомневаюсь.
Если уже зараннее извесно что массив осортирован - то максимум - крайний элемент. (Если по-возрастанию - то последний элемент).
Если данных более 10000 то распараленый поиск (т.е. ответ ищёт несколько ядер процессора - посредством threads) - даёт результат лучше чем линейный.
Из пожеланий, отдельные методы поиска можно применить используя библиотечную std::max_element
Некоторые из этих методов можно смешивать вместе, что даст ещё больше вариантов найти максимум, некоторые из смешений могут быть эффективны.
Из ошибок. max=0
- так при поиске максисмума не принято делать. Конкретно в даном случае это сработает, но в будущем это может привести к багам, незачёту, да и каждый кто увидет такой "почерк" скажет что вы непрофессионал в плохом смысле слова.
UDP Также была идея преобразовать (int max) в указатель Если max сделать указателем, то для проверки указатель прийдётся привести к неуказателю, а это дополнительная операция. Поэтому вместо четырёх сревнений с регистром будет операция памяти получения значения по-указателю, а потом сравнение из памяти - итого 8 (минимум) операций с памятью вместо 4. Поэтому вместо ускорения вы получите наоборот - замедление, раза в 1,5-2. Если L0 кеш имеет скорость регистров (не уверен) то есть шанс получить ту же скорость.
P.S. Используйте обычный линейный цикл, или библиотечную функцию. А ускорение - ускорение есть смысл делать только если вы анализируете очень большие обьёмы данных, там пишите компрессор/декомпрессор, или анализ больших массивов данных, или что-то где скорость имеет важное значение.
int max = array[0]; for(int i = 1; i < size(array); ++i) if (max < array[i]) max = array[i];
ничего не сделать. Разве что распараллеливать или векторизовать - но это сработает только на реально больших массивах.