使用模板而不是 cpp 预处理器来避免链接？

Question

是否可以使用 C++ 模板来避免链接包含最终未调用的函数的库？例如，使用如下代码：

template <typename T>
struct Foo {
  void bar() { zod(); }
};

int main(int argc, char *argv[])
{
  return 0;
}

GCC 4.5 将拒绝它： 错误：“zod”没有依赖于模板参数的参数，因此“zod”的声明必须可用 注意：（如果您使用“-fpermissive”，G++ 将接受您的代码，但不推荐使用未声明的名称）

按照标准，此处是否必须出现错误？有没有办法使用模板来实现这一点；因此避免使用 cpp 宏。

Answer 1

我认为您将链接与为zod()提供原型（即声明，例如通过包含头文件）混淆了。

许多实现会愉快地编译和链接具有内联函数（或模板）的程序，这些函数调用没有定义的函数。所以，这工作得很好（至少适用于 MSVC 10、GCC 4.3 和 GCC 4.5）：

void zod(); // we need the declaration, but no definition

inline void bar() { zod(); }

int main(int argc, char *argv[])
{
    return 0;
}

但我不确定标准是否强制这样做。当然，只要模板从未实例化，它也应该使用模板而不是内联。

Answer 2

正如错误所暗示的那样，如果 zod() 依赖于模板参数，那么 SFINAE 会将其视为不是问题。

按照目前的情况，zod 声明必须可用。对不起。

如果您可以控制 zod 并且不介意向其添加虚拟参数，您可以执行以下操作：

template <typename T, T dummy>
struct Foo {
  void bar() { zod(dummy()); }
};

int main(int argc, char *argv[])
{
  return 0;
}

但是...主要是。

Answer 3

您没有在示例中显示任何需要对代码进行专门化的内容。在这种情况下，您只需将函数声明为内联即可。

也许这个问题还有更多我没有看到的内容；如果是这样，请编辑问题并提供更多详细信息。