C Строки неравной длины, строчные буквы в прописные

Вы путаете «текущее содержимое выходного параметра» с «доступным пространством». Первое не имеет значения, а единственная информация, которая у вас есть о последнем, - это «по крайней мере, столько свободного места».

Теперь это будет зависеть от того, как место для output было назначено в первую очередь. Если вы сделали что-то вроде

char output[100];
strcpy(output, "hello");

У вас останется место для 100 символов, но на самом деле используется только 6 (5+1). Таким образом, вы можете без проблем взять строку "THIS IS a STRING" и обработать ее своей функцией.

Но это небезопасно, потому что вы не знаете, сколько там места. Следующий подход был бы лучше:

char *output;
output = malloc(100);

Теперь измените прототип функции на

void makeUpper( const unsigned char* input, unsigned char** output ) 

и в вашей функции вы делаете

inputLength = strlen(input);
*output = realloc(*output, inputLength + 1);

Это гарантирует, что для вывода будет выделено достаточно места. Или вы можете вернуть значение во входном векторе - вы уже знаете, что там достаточно места...

EDIT В приведенном вами примере достаточно места в output; вопрос просто становится одним из «безопасного копирования» ввода (в верхнем регистре) на вывод. В этом случае ваша функция может выглядеть так:

void makeUpper( const unsigned char* input, unsigned char* output ) 
{

    int inputLength = strlen(input);
    int outputLength = strlen(output);
    int ii;
    for (ii = 0; ii < inputLength; ii++)
    {
        output[ii] = toupper(input[ii]);
    }
    if(outputLength < inputLength) output[ii] = '\0';
}

Последняя строка предназначена для того, чтобы убедиться, что если вы увеличили длину output (опять же, предполагая, что это память, к которой вы можете получить действительный доступ), вам все равно нужно убедиться, что в конце строки есть завершающий символ nul. В вашем примере вы хотите, чтобы «остальная часть выходной строки» все еще была там, когда input короче, чем output, поэтому вам нужно условие if.

В общем, если вы не знаете наверняка, что output достаточно велико, нет способа сделать его больше, не имея доступа к адресу указателя, иногда называемого «дескриптором».

Если можно предположить, что выходной буфер создается внутри функции:

// C++ version
void makeUpper(const unsigned char* input, unsigned char*& output)
{
    // assume output = null
    int inputLength = strlen((const char*)input);
    output = new unsigned char[inputLength + 1];
    memset(output, 0, inputLength + 1); // initialize the array to 0's

    for (int i = 0; i < inputLength; i++)
    {
        output[i] = ::toupper(input[i]); // why reinvent the wheel
    }
}

// C version
void makeUpper(const unsigned char* input, unsigned char** output) 
{
    // assume output = null
    int inputLength = strlen((const char*)input);
    *output = (unsigned char*)malloc((inputLength + 1) * sizeof(unsigned char));
    memset(*output, 0, (inputLength + 1) * sizeof(unsigned char)); // initialize the array to 0's

    for (int i = 0; i < inputLength; i++)
    {
        (*output)[i] = ::toupper(input[i]);
    }
}

output должен быть удален/освобожден тем, кто возьмет его под свой контроль.

Если вы не хотите правильно изменять размер output внутри функции:

void makeUpper(const unsigned char* input, unsigned char* output, unsigned int output_size) 
{
    // assume output != null, the current contents of output are irrelevant - you need it's size
    int inputLength = strlen((const char*)input);
    int maxLength = (inputLength < output_size - 1 ? inputLength : output_size - 1);
    memset(output, 0, output_size); // clear output

    for (int i = 0; i < maxLength; i++)
    {
        output[i] = ::toupper(input[i]); // why reinvent the wheel
    }
}

ПРИМЕЧАНИЕ. Тег C++ был удален, пока я писал свой ответ. Это действительно влияет только на первое решение (поскольку вы использовали бы malloc вместо new). Я бы избегал realloc или calloc, если они не являются абсолютно необходимыми для ваших требований.