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
我想做的是让 JTextPane 在 JPanel 中占用尽可能多的空间。对于我使用的 UpdateInfoPanel: public class UpdateInfoPanel extends JP
我在 JPanel 中有一个 JTextArea，我想将其与 JScrollPane 一起使用。我正在使用 GridBagLayout。当我运行它时，框架似乎为 JScrollPane 腾出了空间，但
我想在 xcode 中实现以下功能。 我有一个 View Controller 。在这个 UIViewController 中，我有一个 UITabBar。它们下面是一个 UIView。将 UITab
有谁知道Firebird 2.5有没有类似于SQL中“STUFF”函数的功能？ 我有一个包含父用户记录的表，另一个表包含与父相关的子用户记录。我希望能够提取用户拥有的“ROLES”的逗号分隔字符串，而
我想使用 JSON 作为 mirth channel 的输入和输出，例如详细信息保存在数据库中或创建 HL7 消息。 简而言之，输入为 JSON 解析它并输出为任何格式。 最佳答案 var objec
通常我会使用 R 并执行 merge.by，但这个文件似乎太大了，部门中的任何一台计算机都无法处理它! (任何从事遗传学工作的人的附加信息)本质上，插补似乎删除了 snp ID 的 rs 数字，我只剩
我有一个以前可能被问过的问题，但我很难找到正确的描述。我希望有人能帮助我。 在下面的代码中，我设置了varprice，我想添加javascript变量accu_id以通过rails在我的数据库中查找记
我有一个简单的 SVG 文件，在 Firefox 中可以正常查看 - 它的一些包装文本使用 foreignObject 包含一些 HTML - 文本包装在 div 中:
所以我正在为学校编写一个 Ruby 程序，如果某个值是 1 或 3，则将 bool 值更改为 true，如果是 0 或 2，则更改为 false。由于我有 Java 背景，所以我认为这段代码应该有效:
我做了什么: 我在这些账户之间创建了 VPC 对等连接 互联网网关也连接到每个 VPC 还配置了路由表(以允许来自双方的流量) 情况1: 当这两个 VPC 在同一个账户中时，我成功测试了从另一个 La
我有一个名为 contacts 的表: user_id contact_id 10294 10295 10294 10293 10293 10294 102
我正在使用 Magento 中的新模板。为避免重复代码，我想为每个产品预览使用相同的子模板。 特别是我做了这样一个展示: $products = Mage::getModel('catalog/pro
“for”是否总是检查协议(protocol)中定义的每个函数中第一个参数的类型？ 编辑(改写): 当协议(protocol)方法只有一个参数时，根据该单个参数的类型(直接或任意)找到实现。当协议(p
我想从我的 PHP 代码中调用 JavaScript 函数。我通过使用以下方法实现了这一点: echo ' drawChart($id); '; 这工作正常，但我想从我的 PHP 代码中获取数据，我使
这个问题已经有答案了: Event binding on dynamically created elements? (23 个回答) 已关闭 5 年前。 我有一个动态表单，我想在其中附加一些其他 h
我正在尝试找到一种解决方案，以在 componentDidMount 中的映射项上使用 setState。 我正在使用 GraphQL连同 Gatsby返回许多 data 项目，但要求在特定的 pat
我在 ScrollView 中有一个 View 。只要用户按住该 View ，我想每 80 毫秒调用一次方法。这是我已经实现的: final Runnable vibrate = new Runnab
我用 jni 开发了一个 android 应用程序。我在 GetStringUTFChars 的 dvmDecodeIndirectRef 中得到了一个 dvmabort。我只中止了一次。 为什么会这
当我到达我的 Activity 时，我调用 FragmentPagerAdapter 来处理我的不同选项卡。在我的一个选项卡中，我想显示一个 RecyclerView，但他从未出现过，有了断点，我看到
当我按下 Activity 中的按钮时，会弹出一个 DialogFragment。在对话框 fragment 中，有一个看起来像普通 ListView 的 RecyclerView。 我想要的行为是当
我是一名优秀的程序员,十分优秀！