Andy Prowl
2013-02-01 08:07:16
这是因为条件不以任何方式取决于模板参数。因此，编译器甚至可以在实例化该模板之前对其进行评估，如果评估结果合格，则生成关联的编译错误消息false。
换句话说，这不是错误。尽管只有在实例化模板后才能检查很多事情，但是编译器甚至可以执行其他有效性检查。例如，这就是C ++具有两阶段名称查找的原因。编译器只是在想帮助你找到可能100％发生的错误。
热门帖子
热门github
1
2
3
5
6
7
8
11
13
14
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
即使我在代码中无处调用它，您是否也可以确认该函数得到实例化？那是你说的吗？
@StephaneRolland：该函数未实例化，仅
static_assert()执行指令。@StephaneRolland：我不记得Alexandrescu是如何定义的，但这很有可能。毕竟，这是一种新的语言功能，而不仅仅是库。同样，如果您
foo()在模板函数中编写对的函数调用getValue()，并且不foo()存在任何函数，则代码将无法编译，因为编译器知道无法以编译方式实例化该模板。@StephaneRolland：然后使用
static_assert()，但是使条件取决于某些模板参数。使其始终产生false要用于实例化的参数（例如static_assert(typename is_same<T, type_false>::value), "Error!")，但要在条件中提及模板参数。这将告诉编译器：“嘿，这是一个从属名称，因此请等待实例化在评判之前...”@StephaneRolland：请注意，
static_assert(sizeof(T) == 0, "Error!")通常将其作为另一种解决方案提出，但我认为共识是，这也可能“尽早”失败，因为编译器无需查看即可知道大小永远不会小于1T。只是为了保持在那里。