Вопрос по С++. Подробности внутри.

Очевидно, что шаблоны подойдут здесь идеально.

template < typename T >
size_t search(const T arr[], size_t size, const T& value)
{
  for (size_t i = 0; i < size; i++)
    if (arr[ i ] == value)
      return i;
  return static_cast<size_t>( -1 ); // ну или return size, кому как больше нравится
}

А по-хорошему:
template < typename TIterator, typename TValue >
TIterator search(TIterator first, TIterator last, const TValue& value)
{
  for ( ;first != last; first++)
    if (*first == value)
      return first;
  return first;
}
А совсем по-хорошему - есть std::find, как раз по такой схеме и организован.

Перегрузка функций для каждого возможного набора аргументов есть ни что иное как маразм.

Чтобы функция воспринимала любой тип данных её нужно перегружать. То есть написать функцию с одинаковым именем и функциональностью, но в качестве параметров, каждый раз указывать разный тип данных (либо разное количество параметров, либо менять их местами. )

Например, вот прототипы 14 функций с одинаковым названием, и все они будут работать в одной программе, главное не запутаться в параметрах)) )

void func(int);
void func(double);
void func(int, int);
void func(double, int);
void func(int, double);
void func(double, double);
void func(int, int, int);
void func(double, int, int);
void func(int, double, int);
void func(int, int, double);
void func(double, double, int);
void func(double, int, double);
void func(int, double, double);
void func(double, double, double);