将模板类型参数作为模板非类型参数的类型传递

Question

只是好奇：在 C++17 及更高版本中，我们可以为非类型模板参数使用 auto 占位符：

template<typename A, auto B>
class C {
public:
    A foo() { return B; }
};

但是我们可以传递模板类型参数A而不是auto吗？

example.cpp

template<typename A, A B>
class C {
public:
    A foo() { return B; }
};

int main()
{
    C<int, 5> c;
    std::cout << c.foo() << std::endl;

    return 0;
}

在实践中我们可以，并且使用 -std=c++11 可以做到这一点。

$ g++ -std=c++11 example.cpp
$ ./a.out
5

但是标准呢？我没有找到任何明确的规则。 谢谢！

Answer 1

模板参数可以分为：

1. Type parameters
2. Non type parameters
3. Template template parameters

在您的情况下，语句A B 是一个非类型模板参数，其类型是模板类型参数A。

请记住，在您的示例中，您会这样做：

return B;

上面的语句在类型 A 不是 copy constructible 上会失败（这很容易用一个概念来表达）。

请记住（正如 cmets 中所指出的那样），C++17 要求复制省略。

Answer 2

但是我们可以传递而不是左侧定义的“auto”模板类型参数吗？

当然。这是老办法。

但auto 方式允许避免传递A 类型。

在 C++17 中你可以编写

template <auto B>
class C {
public:
    auto foo() { return B; }
};

所以不需要传递类型A。

我不知道如何在 C++11/C++14 中做同样的事情。

我的意思是：如果需要，在 C++11/C++14 中将值传递给模板...如果类型是固定的，则没有问题

template <int I>

但类型本身可以不同，在 C++11/C++14 中，您必须先传递类型，然后传递 example.cpp 中的值

template <typename T, T A>

问题是，如果你想调用那种类型的模板，你必须是多余的，写一些东西为

C<decltype(x), x>  some_C_variable;

我知道避免这种冗余的唯一方法是通过 make 函数（类似于 make_tuple()）或 C 风格的宏。

在 C++17 中，您可以简单地编写

C<x>   some_C_variable

并且，在C模板类/结构中，x的类型可以从decltype(B)获取。

对于 C++17 标准参考...

首先，auto 被定义为“placeolder”

从 10.1.7.4（auto 说明符）开始，第 1 点

auto 和decltype(auto) 类型说明符用于指定占位符类型，稍后将通过初始化程序的推导来替换。

在 C++11/C++14 中也是如此

但 C++17 标准添加，对于“模板参数”(17.1)，在第 4 点枚举中，新的第 4.6 点

4. 非类型 模板参数 应具有以下类型之一（可选 cv 限定）：

[...]

(4.6) 包含占位符类型的类型 (10.1.7.4)