[bind10-dev] coding guidelines

[JINMEI Tatuya / 神明達哉]

At Wed, 17 Oct 2012 18:50:27 +0000,
Francis Dupont <fdupont at isc.org> wrote:

> > If we have foo.h and foo.cc in directory dir1, also have another foo.h in
> > another directory dir2, then
> > 
> > - if we use '#include "foo.h"' in foo.cc, we can reasonably (though
> >   possibly implementation-defined in theory) assume dir1/foo.h will be
> >   used.
> 
> => you can assume but you can't prove... this is my point.

I still don't get it.  In theory, we can't prove that because it may
be implementation defined.  In practice, where we discuss it based on
the common (de facto?) compiler/preprocessor behavior, which is that
it first searches the same directory as that foo.cc exists for
"foo.h", we can prove dir1/foo.h is used.

Do you simply mean we can't prove it in theory?

Or do you mean we can't prove that even in practice with the common
implementation behavior?  If so, could you provide some more specific
example when it doesn't work?

---
JINMEI, Tatuya