But what would (internally) m.has_key(somekey) do different from m.find(somekey) != m.end()?
It serves no real purpose to implement a function that does the has_key() when it's trivial to make such a function from the existing functions - where do you draw the limit for this sort of feature-creep and resulting code-bloat?
--
mats