大家好！我已经看到了一些具有类型特征的代码，而不是
template <typename T, typename enable_if_t<..something>>
他们做这样的事情：
template <typename T, typename enable_if_t<..something>*=nullptr>
或者像这样：
template <typename T, typename = enable_if_t<..something>>
这 3 个条目有何不同？（希望我没有弄错）第二个问题：在模板中检查各种条件（类型）的最佳方法是什么？
我想了解如何选择一些 C++ 方法的实现，例如这种方法：
#include <iostream>
class A {
public:
void foo()
{
std::cout << "foo A" << std::endl;
}
};
class B {
public:
void foo()
{
std::cout << "foo B" << std::endl;
}
};
template <typename T>
class C : public T {
};
int main () {
C<A> ca;
C<B> cb;
// Можно заметить, что вызов функций происходит напямую - без indirection call оверхеда.
// Никаких указателей на функции, значения которых будут разыменовываться в райнтайме
ca.foo(); // call 4011f0 <A::foo()>
cb.foo(); // call 40121c <B::foo()>
return 0;
}
问题是 - 也许有一些方法可以替换特定的函数调用地址，但不使用模板构造和/或继承，同时能够在不同的实现之间轻松切换？
例如，使用类型别名提取我们想要从中提取函数地址的类型，例如：
#include <iostream>
class A {
public:
void foo()
{
std::cout << "foo A" << std::endl;
}
};
class B {
public:
void foo()
{
std::cout << "foo B" << std::endl;
}
};
class C {
public:
using T = B;
/* Тут и происходит магия, которая выполняет подстановку адреса функции */
};
int main () {
C cb;
cb.foo(); // call 40121c <B::foo()>
return 0;
}
谢谢你。
我创建了一个printVector显示任何向量内容的函数（如果分别为它们定义了 << 运算符）：
#include <iostream>
#include <vector>
using namespace std;
template<class templateType>
void printVector(vector<templateType>& container)
{
for(vector<templateType>::iterator it = container.begin(); it != container.end() ; it++)
{
cout << *it<<" ";
}
cout << endl;
}
int main()
{
vector<int> container = { 1,2,3 };
printVector(container);
}
在定义模板向量时，printVector我无法创建其子类的对象iterator：
vector<templateType>::iterator it; // ERROR
我通过使用解决了这个问题auto：
#include <iostream>
#include <vector>
using namespace std;
template<class templateType>
void printVector(vector<templateType>& container)
{
for(auto it = container.begin(); it != container.end() ; it++)
{
cout << *it<<" ";
}
cout << endl;
}
int main()
{
vector<int> container = { 1,2,3 };
printVector(container);
}
但是我仍然想知道为什么我不能用它的名字 ( vector<templateType>::iterator) 创建一个子类对象，但我可以用auto?
如何在 C++20 概念中检查模板类型中是否存在别名？
struct example {
using alias_t = int;
};
template<class T>
concept example_concept = requires{
T::alias_t;
};
这是一个示例，如果您将示例作为模板参数 ala 传递，则template<example_concept T>代码将无法编译。如何进行此项检查？
更新
template<class T>
concept future_traits = requires {
typename T::initial_awaitable_t;
typename T::await_awaitable_t;
typename T::final_awaitable_t;
};
template<class return_type>
struct default_traits {
using initial_awaitable_t = std::suspend_always;
using await_awaitable_t = detail::symmetrical_awaitable<detail::promise<return_type, default_traits>>;
using final_awaitable_t = detail::final_awaitable;
};
假设我们需要编写一个这样的模板函数。
deep<func, 2>(1); // func(func(1))
template<auto foo, size_t depth, typename... Args>
auto deep(Args&&... args)
{
...
auto result = deep<foo, depth - 1>(std::forward<Args>(args)...);
...
return result;
}
这里出现了另一个具有部分特化的深度模板函数，它会简单地调用原始函数。就像是
template<auto foo, size_t depth = 0, typename... Args>
auto deep(Args... args)
{
return foo(std::forward<Args>(args)...);
}
但是在 c++ 中没有模板函数的部分特化。有没有办法在不使用类的情况下解决这个问题？