5

有没有办法创建一个类似于基本类型之一的新类型（例如 char），并且可以在两者之间进行隐式转换，但会在模板中以不同的方式解析，例如，以下代码可以工作？

typedef char utf8;
template<typename T>void f(T c);
template<> void f<char>(char c)
{
    std::cout << "ascii " << c << std::endl;
}
template<> void f<utf8>(utf8 c)//error C2766: explicit specialization; 'void f<char>(char)' has already been defined
{
    std::cout << "utf8 " << c << std::endl;
}
int main()
{
    char c1 = 'x';
    utf8 c2 = 'g';
    f(c1);
    f(c2);
}

我在想一个包含单个数据成员的类可能是可能的，如果是这样的话，最干净的方法是什么，编译器是否能够像它是一个原语一样优化它。

编辑：我尝试了 BOOST_STRONG_TYPEDEF，这似乎适用于基本的东西，但是我怎样才能继续从新类型创建 std::basic_string 呢？

BOOST_STRONG_TYPEDEF(char,utf8);
//first try
BOOST_STRONG_TYPEDEF(std::string,utf8_string);
//second try
typedef std::basic_string<utf8, std::char_traits<utf8>,std::allocator<utf8> > uft8_string;

第一个并没有真正起作用，因为生成的类型仍然需要 char 为其所有方法，而第二个似乎不喜欢构造函数和赋值运算符的存在:(

我还没有尝试过其他方法来创建新的 char 类型，如果我不能使用 BOOST_STRONG_TYPEDEF 是否能够解决这个问题？

4

3 回答 3

8

C++ 作者 Matthew Wilson 将您所描述的称为“真正的 typedef”。它们被实现为一个包含单个数据成员的类（就像你说的那样）。他在Imperfect C++（顺便说一句，好书）的第 18 章和Dobb 博士杂志的这篇文章中描述了它们并提供了一个模板实现。

关于优化，任何好的编译器都应该能够将其优化为原语（例如，因为 STL 的大部分都依赖于这样的高质量优化），但我没有任何细节。

于 2009-10-15T13:42:07.493 回答
4

我听说 C++0x 将带来强大的 typedef，这将允许您的案例中的 utf8 类与 char 区分开来，但目前不存在。也许 Boost 的强 typedef会有所帮助，但我不知道。

于 2009-10-15T13:42:14.123 回答
0

这里的问题是 typedef 并没有真正定义新类型（比如 Ada，您可以在其中定义相互不兼容的整数类型），只是现有类型的别名。

我相信下一个 C++ 版本的提议之一将包括正确的类型。

于 2009-10-15T13:49:18.897 回答