Мне хотелось бы знать, есть ли способ узнать число потоков, ожидающих переменную условия, из самой переменной условия, без использования некоторой переменной "count"?
Нет, поскольку в общем случае количество ожидающих потоков не является достоверным даже при отсутствии уведомлений: сразу после извлечения этого номера новый поток может начать ожидание или поток, ожидающий с таймаутом, может прекратить ожидание.