Comment by aikinai

A piano doesn’t know the difference and can’t differentiate them (on the fly), but a violinist certainly can and does. Most instruments have real time manual control over intonation and skilled musicians will bend pitch to best meet the current key and context.