Estás recorriendo desde el primer elemento (0) al último (i - 1), pero en todas las iteraciones compruebas si el siguiente elemento i (despuésestá después del último) tiene un sueldo inferior a 1000.
Esto va a tener un comportamiento indefinido, ya que las variables no se inicializan por defecto, y pueden contener cualquier valor, positivo, negativo o cero. Por lo que algunas veces te mostrará el empleado k y otras no.
En cualquier caso, va a ser incorrecto porque el hecho de mostrar el empleado k depende del empleado i, que todavía no se ha metido en la colección de empleados.
Es más, si llegas a llenar el vector de empleados, se intentará acceder al empleado 2001 y podrá saltar un fallo de segmento por intentar acceder a una zona que no se ha reservado.
#define MAXIMO_NUMERO_EMPLEADOS 2000
#define SUELDO_MIL 1000
struct empleado
{
char nombre[30];
char apellido[30];
int edad;
float sueldo;
char genero[15];
};
typedef struct empleado Empleado;
struct coleccionEmpleados
{
Empleado empleados[MAXIMO_NUMERO_EMPLEADOS];
unsigned numeroEmpleados;
coleccionEmpleados() : numeroEmpleados(0) {} // Constructor C++
};
typedef struct coleccionEmpleados ColeccionEmpleadosColeccionEmpleados;
ColeccionEmpleados coleccionEmpleados; // coleccionEmpleados != struct coleccionEmpleados
...
void mostrarDatosMil()
{
for (int empleado = 0; empleado < coleccionEmpleados.numeroEmpleados; empleado++)
{
if (coleccionEmpleados.empleados[empleado].sueldo > SUELDO_MIL) printf(...);
}
}