27
4
MSVC refuses to compile this:
MSVC拒绝编译此：
个人中心
文章发布
退出#include <type_traits>
struct G { void operator()() const { } };
template<class T>
using MyTrait = std::is_void<T>;
struct S
{
template<class F>
std::enable_if_t<MyTrait<decltype(std::declval<F>()())>::value> run(F &&);
};
template<>
void S::run(G &&);
with the error:
带有错误：
<source>(14): error C2910: 'S::run': cannot be explicitly specialized
<source>(16): error C2760: syntax error: 'int' was unexpected here; expected ';'
But Clang and GCC compile it just fine. And they all compile it fine if I say std::is_void instead of MyTrait.
但是Clang和GCC编译得很好。如果我说std:：is_void而不是MyTrait，他们都可以编译它。
Why is this? Is it a compiler bug, or is there something in the language that causes this problem?
为什么会这样？是编译器错误，还是语言中有什么原因导致了这个问题？
hmm.. there is slight issue that argument of run is a forwarding reference. You specialize it as a rvalue reference, is that intended? Cannot reproduce this, which version of MSVC reports an error? /std:c++17 takes care of it for mine.
This is a compiler bug. Defining explicit specializations of member function templates is perfectly legal.
这是一个编译器错误。定义成员函数模板的显式专业化是完全合法的。
std::enable_if_t<MyTrait<decltype(std::declval<F>()())>::value> is ultimately an alias for void with SFINAE, and the use of aliases shouldn't prevent specialization.
std:：enable_if_t＜MyTrait＜decltype（std:：declval＜F>（）（））>：：value>最终是带有SFINAE的void的别名，使用别名不应妨碍专业化。
In a declaration whose declarator-id refers to a specialization of a function template, template argument deduction is performed to identify the specialization to which the declaration refers.
Specifically, this is done for explicit instantiations, explicit specializations, and certain friend declarations.
-[除尘温度下降]p1
The process to determine whether the full specialization void S::run(G&&) matches the member function template is the same as if you had called S::run(g) where g is an argument of type G.
确定完全专用化的void S:：run（G）是否与成员函数模板匹配的过程与调用S:：run（G）时的过程相同，其中G是G类型的参数。
During this process, std::enable_if_t<MyTrait<decltype(std::declval<F>()())>::value> where F = G would turn into void.
在此过程中，std:：enable_if_t＜MyTrait＜decltype（std:：declval＜F>（）（））>：：value>，其中F=G将变为void。
It's worth noting that your example does compile with:
值得注意的是，您的示例编译时使用了：
template<class F>
std::enable_if_t<MyTrait<decltype(G{}())>::value> run(F&&);
... which is pretty much the same thing, and MSVC is being inconsistent here.
……这几乎是一样的事情，MSVC在这里不一致。
MSVC 19.35 compiles this, but more recent versions raise an error. I was unable to find a bug report for this issue, perhaps because it is relatively recent and no one has noticed/reported it yet.
MSVC 19.35对此进行编译，但最近的版本会引发一个错误。我找不到这个问题的错误报告，可能是因为它相对较新，还没有人注意到/报告它。
I've submitted a bug report for this issue.
我已经为这个问题提交了一份错误报告。
Much appreciation for submitting the bug report to Microsoft! I think it's also worth noting that another workaround for this problem is to derive from the type-trait instead of aliasing it, as in: template<typename T> struct MyTrait : std::is_void<T> {};
非常感谢您向Microsoft提交错误报告！我认为还值得注意的是，这个问题的另一个解决方法是从类型特征派生，而不是对其进行别名，如：template＜typename T＞struct MyTrait:std:：is_void＜T＞{}；
27
4
0
上下文:我已经在域根上设置了一个用于 GIS 测试和 dokuwiki 的虚拟机服务器。我想在子域上提供 gis Web 应用程序，这样 dokuwiki url 重命名就不会发生冲突(而且感觉更干净
这个问题在这里已经有了答案: If two variables point to the same object, why doesn't reassigning one variable affe
代码如下: Select Branch.BranchName, Sum(Inventory.OnHand) From Inventory, Branch Inventory.BranchNum = B
我的目标是创建一种“Javascript 库”，如果您可以这样调用它的话。我打算在浏览网页时使用它来操作页面，将其作为 greasemonkey 脚本动态加载。这个想法是将“win”映射到window
是否可以在 javascript 中以某种方式为本地变量分配别名/引用？ 我的意思是类似 C 的东西: function foo() { var x = 1; var y = &x; y+
SQLite 别名 您可以暂时把表或列重命名为另一个名字，这被称为别名。使用表别名是指在一个特定的 SQLite 语句中重命名表。重命名是临时的改变，在数据库中实际的表的名称不会改变。 列别名用来
我有以下导入(在同一个 TS 源文件中): import {Vector as sourceVector} from "ol/source"; import {Vector} from "ol/lay
我想弄清楚 this 到底是什么行是在这个 github json 项目的 cmake 文件中， add_library(${NLOHMANN_JSON_TARGET_NAME} INTERFACE)
使用集合时如何创建别名 (AS)。 $collection->addAttributeToSelect('total_qty') 可以这样做: $collection->getSelect()->co
这个问题在这里已经有了答案: Pass an argument to a Git alias command (4 个回答) 去年关闭。 我的团队在不同的分支上工作，通常，我需要快速从分支切换来帮助他
我正在寻找一种向我的 vimrc 添加自定义命令或别名的方法，以便快速切换到 Vim 中的不同目录。我曾经设置过一些东西，但丢失了那个配置。这是用于 Linux 设置。 基本上，我想设置一个别名(如果
我使用 Delphi 和 Firebird 1.5 开发了一个应用程序，其中服务器与应用程序位于同一台计算机上。我现在正在将应用程序部署到另一个站点，其中 Firebird 服务器( super 服务
我创建了一个全新的 React 应用 create-react-app demo 我需要为某些目录/组件创建别名，例如: import { Header } from '@uicomponents'
我正在尝试打印有向图，并且不断更改各种节点属性，例如颜色和形状。有什么方法可以使用一次定义并用于多个节点的变量？理想情况下，我想要这样的东西: digraph g { building_color =
server { listen 80; server_name pwta; root html; location /test/{ alia
我想匹配多个数组，并在匹配时构建另一个数组。该键可以在任意数量的数组中匹配，也可以根本不匹配。 [ [{ 'a': 13 }, { 'b': 62 }, { 'c': 93 }, { 'd': 52
经过审查后，我需要更改一些代码并将所有更改代码重新推送到远程分支上。 所以我想使用别名(例如:git repushall)在 git 上自动化这些不同的命令: git add . git commit
我有一个这样的查询: select a1.name, b1.info from (select name, id, status from table1 a) as a1 righ
我想给一些 racket 2htdp 函数/宏起别名，这样我就可以为我的 child 将它们翻译成另一种语言。 我可以简单地用define给函数起别名。我在使用 big-bang 结构时遇到了麻烦；例
经过审查后，我需要更改一些代码并将所有更改代码重新推送到远程分支上。 所以我想使用别名(例如:git repushall)在 git 上自动化这些不同的命令: git add . git commit
我是一名优秀的程序员,十分优秀！