为CPPReference中提及的"各类型模板形参提供的所有模板实参的类型(跳过非类型模板形参和模板模板形参)",应该如何理解,是否能提供对应的代码
时间: 2024-03-09 07:45:10 浏览: 21
这个问题涉及到C++模板的类型参数和非类型参数。在C++中,模板参数可以是类型参数(例如`typename T`)或非类型参数(例如`int N`)。然后,C++中的模板实参可以是具体的类型或值。
在这个问题中,"各类型模板形参提供的所有模板实参的类型"指的是模板的类型参数,因为模板的非类型参数不能提供类型。并且,"跳过非类型模板形参和模板模板形参"意味着我们只考虑类型模板形参。
为了更好地理解这个问题,我们可以看一个例子:
```cpp
template<typename T, int N, template<typename> class Container>
class MyClass {
// ...
};
```
在这个例子中,我们有三个模板形参:`T`是一个类型参数,`N`是一个非类型参数,`Container`是一个模板模板参数。因此,我们只考虑`T`这个类型模板形参,而跳过`N`和`Container`。
现在,如果我们实例化`MyClass`模板,比如这样:
```cpp
MyClass<int, 5, std::vector> obj;
```
我们提供了三个模板实参:`int`是一个类型实参,`5`是一个非类型实参,`std::vector`是一个模板模板实参。因此,我们只考虑`int`这个类型实参,而跳过`5`和`std::vector`。
总之,对于一个模板,"各类型模板形参提供的所有模板实参的类型"指的是模板的类型参数,而不包括非类型参数和模板模板参数。
相关问题
CPPReference中ADL提到// a) 为各类型模板形参提供的所有模板实参的类型(跳过非类型模板形参和模板模板形参) // b) 以任何模板模板实参为其中成员的命名空间 // c) 以任何模板模板实参为其中成员的类(如果它们是类成员模板)是否能根据每一项(a,b,c)都做出解释,并给出示例代码
ADL(Argument-Dependent Lookup)是一种C++中的名字查找机制,它按照一定的规则在一些特定的命名空间中查找函数或者运算符的重载版本。根据C++标准,ADL会考虑以下三个方面:
a) 为各类型模板形参提供的所有模板实参的类型(跳过非类型模板形参和模板模板形参)。
这个方面指的是,在函数模板的定义中,如果使用了某个类型模板参数,那么在调用这个函数时,编译器会查找与这个类型相关的命名空间,来查找对应的函数重载版本。比如:
```cpp
template<typename T>
void foo(T t)
{
bar(t);
}
int main()
{
std::string s = "hello";
foo(s); // ADL会在std命名空间中查找bar的重载版本
}
```
b) 以任何模板模板实参为其中成员的命名空间。
这个方面指的是,在函数模板的定义中,如果使用了某个模板参数,而这个模板参数本身是一个类模板,并且这个类模板中定义了某个命名空间,那么在调用这个函数时,编译器会查找这个命名空间中是否有对应的函数重载版本。比如:
```cpp
template<template<typename> class Container>
void foo(Container<int>& c)
{
using namespace myns; // myns是一个命名空间,是Container<int>的成员
bar(c);
}
int main()
{
std::vector<int> v;
foo(v); // ADL会在myns命名空间中查找bar的重载版本
}
```
c) 以任何模板模板实参为其中成员的类(如果它们是类成员模板)。
这个方面指的是,在类模板中,如果定义了某个类成员模板,并且这个类成员模板中定义了某个命名空间,那么在调用这个类成员模板时,编译器会查找这个命名空间中是否有对应的函数重载版本。比如:
```cpp
template<typename T>
struct S
{
template<typename U>
void foo(U u)
{
using namespace myns; // myns是一个命名空间,是S<T>::foo的成员
bar(u);
}
};
int main()
{
S<int> s;
std::string str = "hello";
s.foo(str); // ADL会在myns命名空间中查找bar的重载版本
}
```
需要注意的是,ADL只会在函数模板的定义所在的命名空间和上述三个方面中的命名空间中查找函数或者运算符的重载版本,而不会在函数模板的调用点所在的命名空间中查找。因此,如果想要让ADL在某个特定的命名空间中查找函数或者运算符的重载版本,可以使用using声明或using指令将该命名空间引入到函数模板的定义所在的作用域。
C++中非类型模板参数中,若指定形参为指针类型为什么不能用字符串字面量进行调用
在 C++ 中,非类型模板参数可以是整数、枚举、指向对象或函数的指针、引用、指向成员对象或成员函数的指针等。当我们指定形参为指针类型时,需要传入一个指向对象或函数的指针作为实参,而不能直接使用字符串字面量进行调用。这是因为字符串字面量在 C++ 中是一个常量字符数组,而不是一个指针,因此无法作为指向对象或函数的指针进行传递。如果需要使用字符串字面量作为实参,可以使用 const char* 类型的指针进行传递,而不能直接使用字符串字面量。