- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我需要帮助的第一件事是解决下面的歧义。但是一旦歧义消失,我仍然需要知道是否有更简洁优雅的方式来实现 8 个特化。
#include <iostream>
template <typename>
using void_t = void;
template <typename T, typename U, typename = void, typename = void, typename = void>
struct Foo {
static void call() {std::cout << "Case 1\n";}
};
template <typename T, typename U>
struct Foo<T, U,
void_t<decltype(std::declval<T>().foo(int()))>,
void_t<decltype(std::declval<U>().bar(bool(), char()))>,
void_t<decltype(execute(std::declval<const T&>(), std::declval<const U&>()))>> {
static void call() {std::cout << "Case 2\n";}
};
template <typename T, typename U>
struct Foo<T, U,
void_t<decltype(std::declval<T>().foo(int()))>,
void, void> {
static void call() {std::cout << "Case 3\n";}
};
// etc... for the remaining 5 specializations.
struct Thing {
void foo(int) {}
};
struct Uber {
int bar(bool, char) {return 2;}
};
void execute (const Thing&, const Uber&) {}
int main() {
Foo<Thing, int>::call(); // Case 3
// Foo<Thing, Uber>::call(); // Ambiguous. Want this to be "Case 2" instead of "Case 3".
}
所以首先,我需要知道为什么 Foo<Thing, Uber>::call();
是模棱两可的。所有 3 个 void_t 都满足了,所以情况 2 不是比情况 3 更特殊吗?此外,我打算对 3 个 void_t 的满足或未满足的 2x2x2 可能性进行 5 个更多的特化。如果使用了 n 个 void_t,处理 2^n 个这样的特化的最优雅的方法是什么?
作为类比,对于处理 3 std::enable_if_t
的情况像这样打电话
#include <iostream>
#include <type_traits>
template <bool B> using bool_constant = std::integral_constant<bool, B>;
template <std::size_t N>
struct is_even : bool_constant<N % 2 == 0> {};
template <std::size_t N, std::size_t A>
struct add_to_odd : bool_constant<(N + A) % 2 == 1> {};
template <std::size_t N, std::size_t A, std::size_t B>
struct is_one_of_these : bool_constant<N == A || N == B> {};
template <std::size_t N, std::size_t A, std::size_t B, typename = void, typename = void, typename = void>
struct Foo {
static void call() {std::cout << "Case 1\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct Foo<N,A,B,
std::enable_if_t<is_even<N>::value>,
std::enable_if_t<!add_to_odd<N,A>::value>,
std::enable_if_t<!is_one_of_these<N,A,B>::value>> {
static void call() {std::cout << "Case 2\n";}
};
// etc... for the other combinations of the 3 enable_if conditions being true/false.
int main() {
Foo<1,2,3>::call();
Foo<8,2,3>::call();
}
我想通了
#include <iostream>
#include <type_traits>
template <bool B> using bool_constant = std::integral_constant<bool, B>;
template <std::size_t N>
struct is_even : bool_constant<N % 2 == 0> {};
template <std::size_t N, std::size_t A>
struct add_to_odd : bool_constant<(N + A) % 2 == 1> {};
template <std::size_t N, std::size_t A, std::size_t B>
struct is_one_of_these : bool_constant<N == A || N == B> {};
template <std::size_t N, std::size_t A, std::size_t B, bool, bool, bool>
struct FooHelper {
static void call() {std::cout << "Case 1\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, true, false, false> {
static void call() {std::cout << "Case 2\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, true, true, false> {
static void call() {std::cout << "Case 3\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, true, true, true> {
static void call() {std::cout << "Case 4\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, false, true, true> {
static void call() {std::cout << "Case 5\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, false, false, true> {
static void call() {std::cout << "Case 6\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, true, false, true> {
static void call() {std::cout << "Case 7\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct FooHelper<N, A, B, false, true, false> {
static void call() {std::cout << "Case 8\n";}
};
template <std::size_t N, std::size_t A, std::size_t B>
struct Foo : FooHelper<N, A, B, is_even<N>::value, add_to_odd<N,A>::value, is_one_of_these<N,A,B>::value> {};
int main() {
Foo<1,2,3>::call();
Foo<8,2,3>::call();
// etc...
}
使 8 个模板特化更简洁、可维护且更易于阅读。但是 n void_t 的类比对我来说并不是那么明显(好吧,上面的歧义也没有真正帮助)。
最佳答案
在您的案例中,案例 #2 和案例 #3 同样专业,您只是编写方式不同 void_t<decltype(std::declval<U>().bar(bool(), char()))>
是void
如果 decltype 没有失败。
您可以添加额外的标志来指定您要使用的特化。或者,您可以通过转换顺序排名来解决歧义。
#include <iostream>
template <typename>
using void_t = void;
template <int P>
struct Rank : Rank<P - 1> {};
template <>
struct Rank<0> : std::integral_constant<int, 0> {};
// Helper functions
template <typename T>
static auto has_foo_impl(int)
-> decltype(std::declval<T>().foo(int()), std::true_type());
template <typename T>
static auto has_foo_impl(long) -> std::false_type;
template <typename T>
constexpr bool has_foo() {
return std::is_same<decltype(has_foo_impl<T>(0)), std::true_type>::value;
};
template <typename T>
static auto has_bar_impl(int)
-> decltype(std::declval<T>().bar(bool(), char()), std::true_type());
template <typename T>
static auto has_bar_impl(long) -> std::false_type;
template <typename T>
constexpr bool has_bar() {
return std::is_same<decltype(has_bar_impl<T>(0)), std::true_type>::value;
};
template <typename T, typename U>
static auto has_execute_impl(int)
-> decltype(execute(std::declval<T&>(), std::declval<U&>()),
std::true_type());
template <typename T, typename U>
static auto has_execute_impl(long) -> std::false_type;
template <typename T, typename U>
constexpr bool has_execute() {
return std::is_same<decltype(has_execute_impl<T, U>(0)),
std::true_type>::value;
};
// Call overloads
template <typename T, typename U>
static void call_impl(Rank<0>) {
std::cout << "Case 1\n";
}
template <typename T, typename U>
static auto call_impl(Rank<5>)
-> std::enable_if_t<has_foo<T>() && has_bar<U>() && has_execute<T, U>()> {
std::cout << "Case 2\n";
}
template <typename T, typename U>
static auto call_impl(Rank<4>) -> std::enable_if_t<has_foo<T>()> {
std::cout << "Case 3\n";
}
template <typename T, typename U>
struct Foo {
static void call() { call_impl<T, U>(Rank<10>()); }
};
struct Thing {
void foo(int) {}
};
struct Uber {
int bar(bool, char) { return 2; }
};
void execute(const Thing&, const Uber&) {}
int main() {
Foo<Thing, int>::call(); // Case 3
Foo<Thing, Uber>::call(); // Ambiguous. Want this to be "Case 2" instead of
// "Case 3".
}
关于c++ - 模板特化中的多个 void_t 调用,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36369265/
为了让我的代码几乎完全用 Jquery 编写,我想用 Jquery 重写 AJAX 调用。 这是从网页到 Tomcat servlet 的调用。 我目前情况的类似代码: var http = new
我想使用 JNI 从 Java 调用 C 函数。在 C 函数中,我想创建一个 JVM 并调用一些 Java 对象。当我尝试创建 JVM 时,JNI_CreateJavaVM 返回 -1。 所以,我想知
环顾四周,我发现从 HTML 调用 Javascript 函数的最佳方法是将函数本身放在 HTML 中,而不是外部 Javascript 文件。所以我一直在网上四处寻找,找到了一些简短的教程,我可以根
我有这个组件: import {Component} from 'angular2/core'; import {UserServices} from '../services/UserService
我正在尝试用 C 实现一个简单的 OpenSSL 客户端/服务器模型,并且对 BIO_* 调用的使用感到好奇,与原始 SSL_* 调用相比,它允许一些不错的功能。 我对此比较陌生,所以我可能会完全错误
我正在处理有关异步调用的难题: 一个 JQuery 函数在用户点击时执行,然后调用一个 php 文件来检查用户输入是否与数据库中已有的信息重叠。如果是这样,则应提示用户确认是否要继续或取消,如果他单击
我有以下类(class)。 public Task { public static Task getInstance(String taskName) { return new
嘿,我正在构建一个小游戏,我正在通过制作一个数字 vector 来创建关卡,该数字 vector 通过枚举与 1-4 种颜色相关联。问题是循环(在 Simon::loadChallenge 中)我将颜
我有一个java spring boot api(数据接收器),客户端调用它来保存一些数据。一旦我完成了数据的持久化,我想进行另一个 api 调用(应该处理持久化的数据 - 数据聚合器),它应该自行异
首先,这涉及桌面应用程序而不是 ASP .Net 应用程序。 我已经为我的项目添加了一个 Web 引用,并构建了各种数据对象,例如 PayerInfo、Address 和 CreditCard。但问题
我如何告诉 FAKE 编译 .fs文件使用 fsc ? 解释如何传递参数的奖励积分,如 -a和 -target:dll . 编辑:我应该澄清一下,我正在尝试在没有 MSBuild/xbuild/.sl
我使用下划线模板配置了一个简单的主干模型和 View 。两个单独的 API 使用完全相同的配置。 API 1 按预期工作。 要重现该问题,请注释掉 API 1 的 URL,并取消注释 API 2 的
我不确定什么是更好的做法或更现实的做法。我希望从头开始创建目录系统,但不确定最佳方法是什么。 我想我在需要显示信息时使用对象,例如 info.php?id=100。有这样的代码用于显示 Game.cl
from datetime import timedelta class A: def __abs__(self): return -self class B1(A):
我在操作此生命游戏示例代码中的数组时遇到问题。 情况: “生命游戏”是约翰·康威发明的一种细胞自动化技术。它由一个细胞网格组成,这些细胞可以根据数学规则生存/死亡/繁殖。该网格中的活细胞和死细胞通过
如果我像这样调用 read() 来读取文件: unsigned char buf[512]; memset(buf, 0, sizeof(unsigned char) * 512); int fd;
我用 C 编写了一个简单的服务器,并希望调用它的功能与调用其他 C 守护程序的功能相同(例如使用 ./ftpd start 调用它并使用 ./ftpd stop 关闭该实例)。显然我遇到的问题是我不知
在 dos 中,当我粘贴此命令时它会起作用: "C:\Program Files (x86)\Google\Chrome\Application\chrome.exe" https://google.
在 dos 中,当我粘贴此命令时它会起作用: "C:\Program Files (x86)\Google\Chrome\Application\chrome.exe" https://google.
我希望能够从 cmd 在我的 Windows 10 计算机上调用 python3。 我已重新安装 Python3.7 以确保选择“添加到路径”选项,但仍无法调用 python3 并使 CMD 启动 P
我是一名优秀的程序员,十分优秀!