c++ - 单独对象的单个模板实例化

Question

考虑以下：

/* T.h */
template <class T>
void Too() {
    std::cout << "  Template: " << typeid(T).name()
              << " size: " << sizeof(T) << std::endl;
}

/* A.h */
extern void FooA();

/* A.cpp */
struct Local {
    int a[2];
}

void FooA() {
    Local l;
    std::cout << "<Foo A>:\n" << "  Real: " << typeid(l).name()
              << " size: " << sizeof(l) << std::endl;
    Too<Local>();
}

/* B.h */
extern void FooB();

/* B.cpp */
struct Local {
    int a[4];
};

void FooB() {
    Local l;
    std::cout << "<Foo B>:\n" << "  Real: " << typeid(l).name() \
              << " size: " << sizeof(l) << std::endl;
    Too<Local>();
}

/* main.cpp */
int main() {
    FooA();
    FooB();
    return 0;
}

编译运行结果如下：

<Foo A>:
  Real: 5Local size: 8
  Template: 5Local size: 8
<Foo B>:
  Real: 5Local size: 16
  Template: 5Local size: 8

这意味着单个模板实例化用于两个模板调用。值得注意的是——第一个。虽然可以通过定义Too()为来解决此“功能”

template <class T, size_t s = sizeof(T)> Too();

我想知道有没有更通用的方法来解决这个问题？因为如果两个调用结构的大小相同，上面的代码仍然会失败。

编辑：

具体来说，我的问题在于，我无法更改文件 A 和 B。所以我可能不会向它们引入匿名名称空间。有模板端解决方案吗？因此是第二个模板参数。

Answer 1

您的程序包含struct Local. 这意味着它的格式不正确并且具有未定义的行为，因此任何事情都可能发生。

Answer 2

正如已经指出的那样，您违反了单一定义规则。

您可以在匿名名称空间中定义本地结构，以便编译器知道您正在谈论不同的本地类型，然后一切都应该“工作”：

/* A.cpp */
namespace {
    struct Local {
        int a[2];
    }
}

/* B.cpp */
namespace {
    struct Local {
        int a[4];
    }
}