- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我正在考虑删除一些未使用的重载,并触发了一个编译错误,编译器说这是一个模板替换错误。但我认为“替换失败不是错误”,无论如何,为什么删除过载会导致它?
简单的开始:
#include <string>
int ParseInt(const char *);
int ParseInt(std::string);
bool F(int(*)(const char *));
bool User() {
return F(ParseInt);
}
在这里,User() 使用解析例程的地址调用 F。一切都很好。 ParseInt 已重载,但只有一个重载与 F 的签名匹配。
输入 F 的模板化重载:
bool F(int(*)(const char *));
template <typename T>
struct MetaDeduce {
typedef typename T::X type;
};
template <typename T>
typename MetaDeduce<T>::type F(const T&);
现在有这个奇怪的 F 模板重载,但没关系,因为函数指针无论如何都没有名为 X 的成员。一切都编译好了,一切都很好。
直到......
#include <string>
int ParseInt(const char *);
// int ParseInt(std::string); // commenting this out caused a compiler error!
bool F(int(*)(const char *));
template <typename T>
struct MetaDeduce {
typedef typename T::X type;
};
template <typename T>
typename MetaDeduce<T>::type F(const T&);
bool User() {
return F(ParseInt);
}
从 godbolt ( http://goo.gl/2Yd04p ) 可以看出,这会产生一个奇怪的编译错误:
10 : error: type 'int (const char *)' cannot be used prior to '::'
because it has no members
typedef typename T::X type;
^
14 : note: in instantiation of template class 'MetaDeduce<int (const char *)>'
requested here
typename MetaDeduce<T>::type F(const T&);
^
什么鬼???看起来编译器在提示替换失败,但为什么以前不是问题呢?无论如何,我认为替换失败不是错误!怎么回事?
最佳答案
这是由两种语言属性之间的微妙相互作用引起的
SFINAE 仅适用于直接上下文。你的MetaDeduce<T>
没有在这样一个直接的上下文中定义,这使得 typename MetaDeduce<T>::type
一个严重的错误。但 SFINAE 确实适用于 typename T::X
,并且使用它会编译你的代码,即使是 ParseInt(std::string)
过载已注释掉。
template <typename T>
typename T::X F(const T&);
Live Example (请注意,您会收到链接器错误,因为您尚未定义函数)
所以如果 typename MetaDeduct<T>::type
是罪魁祸首,为什么它与 ParseInt
的两个重载一起工作? ?好吧,考虑一下如果您只有模板 F
会发生什么和两个ParseInt
秒。为了方便起见,给那个模板 F
暂时忽略替换失败的 bool 返回类型。
int ParseInt(const char *);
int ParseInt(std::string);
template <typename T>
bool F(T const&);
bool User() { return F(ParseInt); } // error, cannot deduce template argument
有两个重载 ParseInt
通话中没有额外信息 F(ParseInt)
,编译器无法推断出哪个版本的 ParseInt
应该匹配模板参数 T
.在此代码段的上下文中,这将导致硬错误(因为您将有一个空的重载集),但带有额外的非模板重载 F(int(*)(const char*))
它不会(因为 ParseInt(const char*)
将匹配它)。请注意,由于此处的参数推导失败,如果返回类型为 typename MetaDeduce<T>::Type
,则参数替换甚至不会发生。 .
实际上,ParseInt
的两个重载使您免受非直接上下文中的替换失败的影响。一旦拿走其中一个,参数推导就成功了,非立即替换失败导致硬错误。
这有点像闯红灯过马路,因为两辆迎面而来的卡车在撞到你之前就相撞而得救。只有一辆卡车,你会被撞到。
关于c++ - 删除未使用的重载会导致编译错误?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34931775/
我正在尝试使用 Spark 从 Cassandra 读取数据。 DataFrame rdf = sqlContext.read().option("keyspace", "readypulse
这是代码: void i_log_ (int error, const char * file, int line, const char * fmt, ...) { /* Get erro
我必须调试一个严重依赖 Gtk 的程序。问题是由于某些原因,在使用 GtkWindow 对象时开始出现许多运行时警告。问题是,即使 Gtk 提示严重错误,它也不会因这些错误而中止。我没有代码库的更改历
我正在尝试从已有效编译和链接的程序中检索二进制文件。我已经通过 GL_PROGRAM_BINARY_LENGTH 收到了它的长度。该文档说有两个实例可能会发生 GL_INVALID_OPERATION
我有一个托管在 Azure 环境中的服务。我正在使用控制台应用程序使用该服务。这样做时,我得到了异常: "The requested service, 'http://xxxx-d.yyyy.be/S
我有以下代码,它被 SEGV 信号杀死。使用调试器表明它被 main() 中的第一个 sem_init() 杀死。如果我注释掉第一个 sem_init() ,第二个会导致同样的问题。我试图弄清楚是什么
目前我正在编写一个应用程序(目标 iOS 6,启用 ARC),它使用 JSON 进行数据传输,使用核心数据进行持久存储。 JSON 数据由 PHP 脚本通过 json_encode 从 MySQL 数
我对 Xamarin.Forms 还是很陌生。我在出现的主页上有一个非常简单的功能 async public Task BaseAppearing() { if (UserID
这是我的代码的简化版本。 public class MainActivity extends ActionBarActivity { private ArrayList entry = new Arr
我想弄明白为什么我的两个 Java 库很难很好地协同工作。这是场景: 库 1 有一个类 A,其构造函数如下: public A(Object obj) { /* boilerplate */ } 在以
如果网站不需要身份验证,我的代码可以正常工作,如果需要,则在打印“已创建凭据”后会立即出现 EXC_BAD_ACCESS 错误。我不会发布任何内容,并且此代码是直接从文档中复制的 - 知道出了什么问题
我在使用 NSArray 填充 UITableView 时遇到问题。我确信我正在做一些愚蠢的事情,但我无法弄清楚。当我尝试进行简单的计数时,我得到了 EXC_BAD_ACCESS,我知道这是因为我试图
我在 UITableViewCell 上有一个 UITextField,在另一个单元格上有一个按钮。 我单击 UITextField(出现键盘)。 UITextField 调用了以下方法: - (BO
我有一个应用程序出现间歇性崩溃。崩溃日志显示了一个堆栈跟踪,这对我来说很难破译,因此希望其他人看到了这一点并能为我指出正确的方向。 基本上,应用程序在启动时执行反向地理编码请求,以在标签中显示用户的位
我开发了一个 CGImage,当程序使用以下命令将其显示在屏幕上时它工作正常: [output_view.layer performSelectorOnMainThread:@selector(set
我正在使用新的 EncryptedSharedPreferences以谷歌推荐的方式上课: private fun securePrefs(context: Context): SharedPrefe
我有一个中继器,里面有一些控件,其中一个是文本框。我正在尝试使用 jquery 获取文本框,我的代码如下所示: $("#").click(function (event) {}); 但我总是得到 nu
在以下场景中观察到 TTS 初始化错误,太随机了。 已安装 TTS 引擎,存在语音集,并且可以从辅助功能选项中播放示例 tts。 TTS 初始化在之前初始化和播放的同一设备上随机失败。 在不同的设备(
maven pom.xml org.openjdk.jol jol-core 0.10 Java 类: public class MyObjectData { pr
在不担心冲突的情况下,可以使用 MD5 作为哈希值,字符串长度最多为多少? 这可能是通过为特定字符集中的每个可能的字符串生成 MD5 哈希来计算的,长度不断增加,直到哈希第二次出现(冲突)。没有冲突的
我是一名优秀的程序员,十分优秀!