如何访问未命名命名空间中的隐藏模板？

Question

这是一个棘手的情况，我想知道有什么方法可以解决它

namespace {
  template <class T> 
  struct Template { /* ... */ }; 
}

typedef Template<int> Template;

遗憾的是，Template typedef 会干扰未命名命名空间中的 Template 模板。当您尝试在全局范围内执行 Template<float> 时，编译器会在模板名称和 typedef 名称之间引发歧义错误。

您无法控制模板名称或 typedef 名称。现在我想知道是否有可能：

• 在全局命名空间中创建类型定义类型为Template（即Template<int>）的对象。
• 在全局命名空间中创建Template<float> 类型的对象。

您不允许向未命名的命名空间添加任何内容。一切都应该在全局命名空间中完成。

这是出于好奇，因为我想知道有什么技巧可以解决这种歧义。这不是我在日常编程中遇到的实际问题。

Answer 1

我知道这在某种程度上破坏了你的观点，但我真的认为主要的技巧是避免像瘟疫这样的事情。

Answer 2

使用 C++0x：

namespace {
  template<class T> struct Template { };
}
typedef Template<int> Template;

#include<iostream>

template<typename T> 
void PrintType() { 
    std::cout << __PRETTY_FUNCTION__ << std::endl; 
}

template<typename FullType, typename NewParameter>
class Rebind {
  template<template<class> class Template, typename OldParameter>
  static Template<NewParameter> function(Template<OldParameter>);

public:
  typedef decltype(function(FullType())) NewType;
};

int main()
{
  PrintType< ::Template>();
  PrintType<Rebind< ::Template, float>::NewType>();
  return 0;
}

使用 gcc45 产生

void PrintType() [with T = <unnamed>::Template<int>]
void PrintType() [with T = <unnamed>::Template<float>]

显然它可以使用 Cormeau 编译，但我只能访问他们的在线测试，所以我只能假设它按预期运行。

我想不出任何方法可以将实际类型直接传递给结构并将其降级为模板类型，但是当编译器必须猜测函数参数时，它可以毫无问题地剥离这两者。也许这在 C++03 中使用 boost::result_of 而不是 decltype 有效，但我以前从未使用过它，所以我想我会坚持我所知道的。

注意main 内的间距。 Rebind<::Template, float>::NewType 被解析器吞噬，因为 <: 是一个有向图。我认为它变成了Rebind[:Template, float>::NewType。所以::Template前面的空格很重要。

顺便说一句，我不知道嵌套模板参数不能使用类型名 [template<template<typename> class T> 而不是template<template<typename> typename T>]。我想我每次尝试记住构造的语法时都会重新学习。

Answer 3

可以通过明确命名空间来访问全局类型定义模板，即

::Template a

是来自匿名命名空间的 Template<int>。不确定您是否可以得到Template<float>。

令人惊讶的是，Clang 的 C++ 编译器可以很好地执行以下操作，但可能不是标准行为：

#include <iostream>
namespace {
    template <class T>
        struct Template {T value;};}
typedef Template<int> Template;

int main(){    
    ::Template a;
    Template<float> b;
    a.value = 6;
    b.value = 3.14;
    std::cout<<a.value<<" "<<b.value<<"\n";
}

Answer 4

免责声明：我不知道您为什么要这样做，并且可能会严厉地对这样做的人说话。

namespace
{
   template <typename T> class Template { };
}

typedef Template<int> IntTemplate;
typedef Template<float> FloatTemplate;
typedef IntTemplate Template;

int main() {
    ::Template t;
    FloatTemplate ft;
}