0

不幸的是，我丢失了本文的链接和源代码，但我确实记得它是关于 C++ 中的元编程和模板的；在谈论模板方法的限制时，本文谈到了传递给模板的内容不是泛型类型，而只是具有相关地址的类型（或可寻址的，我不记得确切的词）可以作为参数传递给模板。

有人可以澄清地址、类型和模板之间的这种关系吗？

一个类型可以用一个地址来标识？

编辑

例如，在这个链接中，在链接的常见问题解答的最后一部分中，模板系统被描述为接受地址而不是泛型类型的东西。

4

2 回答 2

3

我不知道您阅读的原始文章，但您在编辑中链接到的常见问题解答并未讨论类型和地址之间的联系。

它讨论了一种特定类型的模板参数，即非类型参数。模板参数分为三种：类型、非类型和模板。所以这特别是关于第二种。

非类型参数的示例Id在下面的定义中：

template <const char *Id>
struct C
{};

Id不代表一个类型，而是一个非类型，即一个实际值。在这个特定的示例中，该值恰好是指针类型，它表示字符串的地址。

这个想法是您可以使用它来使用字符串作为区分符来实例化模板：

C<"foo"> c1;  // Instantiating the "foo" version of type C
C<"bar"> c2;  // Instantiating the "bar" version of type C

不幸的是，它不是这样工作的——这就是常见问题解答文章的内容。它解释了对于非类型模板参数，您必须使用常量表达式，并且在这种特殊情况下，您必须使用具有外部链接的对象的标识符，而不仅仅是文字。因此，您可以这样做的唯一方法是：

template <const char *Id>
struct C
{

};

char id1[] = "foo";
char id2[] = "bar";

int main()
{
  C<id1> c1;
  C<id2> c2;
  /*...*/
  return 0;
}

这就是常见问题文章的解释。

但是，这又是一个非常特殊的情况，因为它仅适用于地址类型的非类型参数。请注意，给出了与地址的连接，因为非类型参数被显式指定为指针类型的参数const char *。

大多数常用模板可以使用类型参数或整数、枚举或用户定义类型的非类型参数。这些都与内存地址无关。使用模板和使用内存地址之间没有隐含的联系。

于 2012-10-15T00:54:29.223 回答
1

以下是使用地址标识的类型的示例：

int foo;

template <int *IP>
class Bar {
};

Bar<&foo> baz;

但不知何故，我不认为那是这篇文章的意思。

类型本身在 C++ 中没有地址。一个类型中的各个定义可能有也可能没有自己的地址。有些东西只在类型的实例中具有地址。

我在那里使用的技巧只能用于在程序的整个生命周期中存在的对象。然后对象的地址成为类型名称的一部分。

模板甚至不是 C++ 中的类型。只有当它们被一组特定的参数实例化时，它们才是一种类型。他们也没有地址。

于 2012-10-14T22:59:02.290 回答