namespace A
{
   struct field_
   { 
      field_() : key(0) {}
      unsigned int key;
   };
}

namespace A
{
   struct field_
   { 
      field_() : key(0) {}
      unsigned int key;
      std::string  str;
   };
}

// больше одного, но
There can be more than one definition of a class type (clause 9), enumeration type (7.2), inline function
with external linkage (7.1.2), class template (clause 14), non-static function template (14.5.5), static data
member of a class template (14.5.1.3), member function of a class template (14.5.1.1), or template special-
ization for which some template parameters are not specified (14.7, 14.5.4) in a program provided that each
definition appears in a different translation unit, and provided the definitions satisfy the following require-
ments. Given such an entity named D defined in more than one translation unit, then

// ---v
— each definition of D shall consist of the same sequence of tokens; and
...

namespace A
{
   struct field_;
}

N>но warning наверно мог бы и показать, у меня не показывал.

// a.cpp
struct Rect
{
  int l,r,t,b;
  int area() const;
};
int Rect::area() const { return (r-l)*(b-t); }

// b.cpp
struct Rect
{
  int l,r,w,h;
  int area() const;
};
//int Rect::area() const { return w*h; }

namespace
{
   struct S
   {
      ....
   }
}

class impl : public impl_t<S> {}; <-- Я так понимаю здесь возникает та же проблема?

N>>namespace
N>>{
N>>   struct S
N>>   {
N>>      ....
N>>   }
N>>}

N>>class impl : public impl_t<S> {}; <-- Я так понимаю здесь возникает та же проблема?
N>>

//tpl_h.h
template<typename T>
struct t_impl
{
  void foo( const T& arg ) {}
};

//a.h
namespace TEST
{
   //fw
   struct a_impl;
  
   class A
   {
   private:
     a_impl* pImpl;
     a_impl get_impl() { return pImpl; }

   public:
     A();
     void doo();
   }
}

//a.cpp

using namespace A;

namespace
{
   struct S //имя этой структуры повторяется в нескольких модулях: a.cpp, b.cpp, d.cpp ...
   {
     S(){}
   };
}

namespase A {
   struct a_imp : public t_impl<S> {};
}

//конструктор
A::A() : pImp( new a_imp() ) {}

//метод doo

void A::doo()
{
   S s; //<-- тут буден вызван правильный конструктор
   
   get_impl()->foo(s); //<-- а вот тут когда мы прийдём в метод t_impl::foo() аргумент какого то фига будет другого типа  :xz: 
                       //сужу потому как у него даже будет другой набор полей
}

N>namespace
N>{
N>   struct S //имя этой структуры повторяется в нескольких модулях: a.cpp, b.cpp, d.cpp ...
N>   {
N>     S(){}
N>   };
N>}

N>namespase A {
N>   struct a_imp : public t_impl<S> {};
N>}

7.1.2
3- A function defined within a class definition is an inline function. The inline specifier shall not appear on a block scope function declaration.*
4- An inline function shall be defined in every translation unit in which it is used and shall have exactly the same definition in every case (basic.def.odr).

struct S1 {
  float field1;
  virtual float m1() const { return field1; }
};

struct S2 {
  int field2;
  virtual int m2() const { return field2; }
};

B>точно это же definition... признаю совю неправоту

7.3.1.1/2
The use of the static keyword is deprecated when declaring objects in a namespace scope, the unnamed-namespace provides a superior alternative.