*char заканчивается двойным '\0'

есть ли проблема иметь этот char ('\0') дважды в конце строки?

В этом вопросе нет ясности, так как "строка" означает разные вещи для людей.
Давайте воспользуемся определением спецификации C, так как это сообщение C.

строка – это непрерывная последовательность символов, заканчивающаяся первым нулевым символом и включающая его. C11 §7.1.1 1

Таким образом, строка не может содержать 2 нулевых символа, так как строка заканчивается при достижении первого символа. @Майкл Уолц

Вместо этого повторите анализ на «есть ли проблема с добавлением потенциального второго нулевого символа в массив символов - для решения проблем со строками?»

Проблема с попыткой добавить нулевой символ в строку — путаница. Функции str...() работают со строками C, как определено выше.

// If str1 was not a string, strcpy(str1, anything) would be undefined behavior.
strcpy(str1, "\0");  // no change to str1

char str2[] = "abc";
str2[strlen(str2)] = '\0'; // OK but only, re-assigns the \0 to a \0
// attempt to add another \0
str2[strlen(str2)+1] = '\0'; // Bad: assigning outside `str2[]` as the array is too small

char str3[10] = "abc";
str3[strlen(str3)+1] = '\0'; // OK, in this case
puts(str3);                  // Adding that \0 served no purpose

Как многие отмечают, добавление запасного '\0' напрямую не связано с фундаментальной проблемой кода. @Haris @Малкольм Маклин

Этот неопубликованный код является реальной проблемой, требующей решения @Yunnosch, и не пытаясь добавить второй '\0'.

Я думаю, что дешевле просто добавить '\ 0' к каждой строке, чем проверять, нужно ли это, а затем добавлять ее, но я не знаю, хорошо ли это делать.

Куда бы вы его добавили? Предположим, мы сделали что-то вроде этого:

char *p = malloc(32);

Теперь, если мы знаем выделенную длину, мы можем поставить '\0' в качестве последнего символа выделенной области, как в p[31] = '\0'. Но мы не знаем, какой длины должно быть содержимое строки. Если должно быть только foobar, то все равно останется 25 байтов мусора, что может вызвать другие проблемы при обработке или печати.

Не говоря уже о том, что если все, что у вас есть, это указатель на строку, трудно узнать длину выделенной области.

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

Наличие '\0' не является проблемой, если только вы не вышли за пределы этого массива символов.

Вы должны понимать, что наличие '\0' дважды означает, что любая строковая операция даже не будет знать, что есть второй '\0'. Они будут просто читать до первого '\0' и быть с ним. Для них первый '\0' является завершающим символом Null, после которого ничего не должно быть.