Как можно считать из cin не задерживая программу, если ничего не введено?
Можно ли как-то проверить, есть ли в cin символы или нет?

cin ничего не знает о потоке, к которому он подсоединен. И istream тоже не в курсе, как обращаться с консолью. Так что языковых средств нет, только средства ОС

Понял. Но, по идее, вполне могла бы существовать функция, которая бы проверяла, есть ли в потоке ещё хотя бы один символ, не читая его. Непонятно, чем такая функция будет непереносимой?

Для этого нужна функция ОС, которая бы вернула количество символов, ожидающих чтения в потоке. Такие функции (в ОС) есть, но нет в стандартных библиотеках С/С++. Кроме того, потоки часто буферизуются на уровне ОС, т.е. пока пользователь не нажмет Enter в терминале, в поток ничего не запишется, что бы он (пользователь) не наколотил в том же терминале до этого момента. Это поведение так же управляется функциями ОС.

Есть библиотечные обвертки вокруг этого всего (ncurses и наверное тот же boost)

в STL нет такого, да и в стандарте тоже, так как это API системы.
я для венды такой костыль пользую: