Сдвиг элементов одномерного массива по условию

int *ZeroElementsCounter(int* _array, int n)
{
    int counter = 0, i, k;
    for (i = 0; i < n; i++)
    {
        if (_array[i] == 0)
        {
                _array[i] = _array[i + 1];
                n--;
                counter++;
        }
    }
    return _array;
}

int *ZeroElementsCounter(int* _array, int n)
{
    int counter = 0, i, k;
    for (i = 0; i < n; i++)
    {
        if (_array[i] == 0)
        {
            counter++;
            for(k=i; k<n-1; k++)
                _array[k] = _array[k + 1];
            n--;
            i--;                
        }
    }
    return _array;
}

int k = 0;
 
for (int i = 0; i < n; i++) 
 { if (_array[i] != 0) _array[k++] = _array[i]; }
 
int counter = n - k;  // Количество нулевых элементов

#include <iostream>
#include <algorithm>
#include <iterator>
#include <type_traits>
 
template<typename _Type, std::size_t _N>
std::size_t zero_elements_counter(_Type (&array)[_N])
{
    static_assert(std::is_arithmetic<_Type>::value,
                  "Array type must be arithmetic.");
 
    _Type *first = array,
        *last = array + _N,
        *dest = first;
 
    while (first != last)
    {
        if (*first) std::iter_swap(dest++, first++);
        else ++first;
    }
 
    return last - dest;
}
 
int main(int argc, char* argv[])
{
    int a[] = {1,2,3,4,0,1,2,3,4,0};
 
    std::cout << zero_elements_counter(a) << std::endl;
    for (auto e : a)
        std::cout << e << " ";
}