Доброго дня.
Где-то прочитал, что, помимо описанного в документации, require отличается от include тем, что стремится сработать еще на этапе компиляции в байт-код, в то время как include всегда срабатывает на лету. Сейчас ищу подтверждение или опровержение, но пока безрезультатно. Официальной документации в целом нет оснований доверять на 100%, как я уже убеждался ранее.
Это правда? Попробовал также поискать реализацию в исходниках, но пока не нашел.