blocks|key|4975089|text|您需要一个可以反向提供布尔值的助手：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4975090|template<typename,+typename=void>
struct+has_cout
++++:+std::false_type+{};

template<typename+T>
struct+has_cout<T,+decltype(std::cout+<<+std::declval<T>(),void())>
++++:+std::true_type+{};

template<typename+T>
auto+f(const+T&+x)+
++->+typename+std::enable_if<!has_cout<T>::value>::type;|code-block|syntax|javascript|4975091|Live+example|offset|length|4975092|entityMap|0|LINK|mutability|MUTABLE|url|http://coliru.stacked-crooked.com/a/5104d0b012a6c2e0^0|0|0|0|C|0|0^^$0|@$1|2|3|4|5|6|7|S|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|T|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|U|8|@]|9|@$I|V|J|W|1|X]]|A|$]]|$1|K|3|-4|5|6|7|Y|8|@]|9|@]|A|$]]]|L|$M|$5|N|O|P|A|$Q|R]]]]

You need a helper which provides a boolean value you can reverse:

<pre><code>template&lt;typename, typename=void&gt;
struct has_cout
 : std::false_type {};

template&lt;typename T&gt;
struct has_cout&lt;T, decltype(std::cout &lt;&lt; std::declval&lt;T&gt;(),void())&gt;
 : std::true_type {};

template&lt;typename T&gt;
auto f(const T&amp; x) 
 -&gt; typename std::enable_if&lt;!has_cout&lt;T&gt;::value&gt;::type;
</code></pre>

<a href="http://coliru.stacked-crooked.com/a/5104d0b012a6c2e0" rel="noreferrer">Live example</a>

blocks|key|954758|text|template<class...>struct+types{using+type=types;};
namespace+details+{
++template<template<class...>class+Z,+class+types,+class=void>
++struct+test_apply:std::false_type{};
++template<template<class...>class+Z,+class...Ts>
++struct+test_apply<Z,types<Ts...>,std::void_t<Z<Ts...>>>:
++++std::true_type
++{};
};
template<template<class...>class+Z,+class...Ts>
using+test_apply=details::test_apply<Z,types<Ts...>>;|type|code-block|depth|inlineStyleRanges|entityRanges|data|syntax|javascript|954759|是元编程样板。|unstyled|954760|然后，实际的用例特定代码是非常干净的。首先，一个简单的decltype别名：|offset|length|style|CODE|954761|template<class+X>
using+cout_result+=+decltype(+std::cout+<<+std::declval<X>()+);|954762|然后我们对它进行测试：|954763|template<class+X>
using+can_cout_stream+=+test_apply<+cout_result,+X+>;|954764|这里的目标是将元编程样板与实际使用分离开来。|954765|template<class+T>
std::enable_if_t<!can_cout_stream<const+T&>{}>
f(const+T&+x)+|954766|我慷慨地使用C%2B%2B14特性使事物变得更干净。如果您的编译器没有它们，它们都可以很容易地在C%2B%2B11中实现。|954767|template<bool+b,+class+T=void>
using+enable_if_t=typename+std::enable_if<b,T>::type;
template<class...>struct+voider{using+type=void;};
template<class...Ts>using+void_t=typename+voider<Ts...>::type;|954768|应该包括在内。|954769|entityMap^0|0|0|R|8|0|0|0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|14|8|@]|9|@]|A|$B|C]]|$1|D|3|E|5|F|7|15|8|@]|9|@]|A|$]]|$1|G|3|H|5|F|7|16|8|@$I|17|J|18|K|L]]|9|@]|A|$]]|$1|M|3|N|5|6|7|19|8|@]|9|@]|A|$B|C]]|$1|O|3|P|5|F|7|1A|8|@]|9|@]|A|$]]|$1|Q|3|R|5|6|7|1B|8|@]|9|@]|A|$B|C]]|$1|S|3|T|5|F|7|1C|8|@]|9|@]|A|$]]|$1|U|3|V|5|6|7|1D|8|@]|9|@]|A|$B|C]]|$1|W|3|X|5|F|7|1E|8|@]|9|@]|A|$]]|$1|Y|3|Z|5|6|7|1F|8|@]|9|@]|A|$B|C]]|$1|10|3|11|5|F|7|1G|8|@]|9|@]|A|$]]|$1|12|3|-4|5|F|7|1H|8|@]|9|@]|A|$]]]|13|$]]

<pre><code>template&lt;class...&gt;struct types{using type=types;};
namespace details {
 template&lt;template&lt;class...&gt;class Z, class types, class=void&gt;
 struct test_apply:std::false_type{};
 template&lt;template&lt;class...&gt;class Z, class...Ts&gt;
 struct test_apply&lt;Z,types&lt;Ts...&gt;,std::void_t&lt;Z&lt;Ts...&gt;&gt;&gt;:
 std::true_type
 {};
};
template&lt;template&lt;class...&gt;class Z, class...Ts&gt;
using test_apply=details::test_apply&lt;Z,types&lt;Ts...&gt;&gt;;
</code></pre>

is the metaprogramming boilerplate.

Then the actual use-case specific code is really clean. First, a simple <code>decltype</code> alias:

<pre><code>template&lt;class X&gt;
using cout_result = decltype( std::cout &lt;&lt; std::declval&lt;X&gt;() );
</code></pre>

and then we apply the test to it:

<pre><code>template&lt;class X&gt;
using can_cout_stream = test_apply&lt; cout_result, X &gt;;
</code></pre>

the goal here is to decouple the metaprogramming boilerplate from the actual use.

<pre><code>template&lt;class T&gt;
std::enable_if_t&lt;!can_cout_stream&lt;const T&amp;&gt;{}&gt;
f(const T&amp; x) 
</code></pre>

I liberally use C++14 features to make things a touch cleaner. They can all be easily (re)implemented in C++11 if your compiler doesn't have them.

<pre><code>template&lt;bool b, class T=void&gt;
using enable_if_t=typename std::enable_if&lt;b,T&gt;::type;
template&lt;class...&gt;struct voider{using type=void;};
template&lt;class...Ts&gt;using void_t=typename voider&lt;Ts...&gt;::type;
</code></pre>

should cover it.

Can a function template be enabled whenever some expression is undefined (e.g., <code>x</code>of type <code>t</code> is not streamable to <code>std::cout</code>). Something like

<pre><code>template&lt;typename t&gt;
auto f(const t &amp;x) 
 -&gt; typename enable_if_undefined&lt;decltype(std::cout &lt;&lt; x)&gt;::type;
</code></pre>

Using SFINAE, I only see how to enable if the expression is defined, but not how to do it if the expression is undefined.

Enable a function template in C++ whenever an expression is undefined

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

当某个表达式是un_defined时，是否可以启用函数模板(例如，x类型的t是_not流到std::cout)。有点像template<typename t>auto f(const t &x) -> typename enable_if_undefined<decltype(std::cout << x)>::t...

问当表达式未定义时，在C++中启用函数模板
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问当表达式未定义时，在C++中启用函数模板EN