如何在std::is_constructible中防止隐式转换
在C++中，std::is_constructible是一个类型特征（type trait），用于判断给定类型是否可用特定参数列表进行构造。然而，std::is_constructible在判断时会考虑隐式转换，这可能会导致一些意外的行为。
为了防止隐式转换，可以使用SFINAE（Substitution Failure Is Not An Error）技术来修改std::is_constructible的行为。具体步骤如下：
- 首先，定义一个自定义的type trait模板，并且以SFINAE的方式来实现，比如
is_explicitly_constructible。
template<typename T, typename... Args>
struct is_explicitly_constructible {
private:
template<typename U>
static auto test(int) -> decltype(U{std::declval<Args>()...}, std::true_type());
template<typename U>
static std::false_type test(...);
public:
static constexpr bool value = std::is_same<decltype(test<T>(0)), std::true_type>::value;
};is_explicitly_constructible利用了两个重载的静态成员函数来测试给定类型是否可用指定参数列表进行构造。第一个重载尝试使用U{std::declval<Args>()...}的形式进行构造，并返回std::true_type，如果构造成功。第二个重载函数会匹配任何其他情况，并返回std::false_type。- 最后，通过判断
is_explicitly_constructible<T, Args...>::value的值来确定给定类型是否可以使用指定参数列表进行显式构造。
这样，就可以使用is_explicitly_constructible来防止隐式转换，只允许显式构造。以下是一个示例：
#include <iostream>
#include <type_traits>
template<typename T, typename... Args>
struct is_explicitly_constructible {
private:
template<typename U>
static auto test(int) -> decltype(U{std::declval<Args>()...}, std::true_type());
template<typename U>
static std::false_type test(...);
public:
static constexpr bool value = std::is_same<decltype(test<T>(0)), std::true_type>::value;
};
struct Foo {
explicit Foo(int) {}
};
int main() {
std::cout << std::boolalpha;
std::cout << is_explicitly_constructible<Foo, int>::value << std::endl; // true
std::cout << is_explicitly_constructible<Foo, double>::value << std::endl; // false
std::cout << is_explicitly_constructible<Foo, int, double>::value << std::endl; // false
return 0;
}该示例中，is_explicitly_constructible被用于判断Foo类型是否可以使用特定的参数列表进行显式构造。输出结果表明，当参数列表中包含适当的类型时，可以进行显式构造；否则，不能进行显式构造。
需要注意的是，这里并没有提及任何特定的云计算相关的名词、产品或链接地址，仅仅回答了如何在std::is_constructible中防止隐式转换的问题。如需了解腾讯云相关产品和服务，可以参考腾讯云的官方文档或网站。
相关·内容
然后我想根据它们可以构造的类型来做一些事情(简化的例子)： #include <type_traits>constexpr size_t foo() { return 1;
} else if constexpr (std::is_constructible<T, double>::val
浏览 18提问于2020-04-27得票数 0
回答已采纳
1回答
std::is_convertible<From, To>::value >::type>int main(int argc, char* argv[]) wrapper<int> x; return 0;理想情况下，当From隐式可转换为To时，此代码将使
浏览 5提问于2018-10-29得票数 1
回答已采纳
::pair<typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key,= int; _Tp = std::atomic<bool>; _Compare = std::less<int>; _Alloc = std::allocator<std::pair&l
浏览 21提问于2022-06-26得票数 1
回答已采纳
1回答
我设计了一个简单的包装类，它向对象添加了一个标签，目的是隐式地可转换/能够替换已包装的对象。Args, }
myTag(
浏览 3提问于2021-12-07得票数 0
回答已采纳
std::pair<int, const X>;static_assert(std::is_co
浏览 5提问于2022-07-22得票数 7
回答已采纳
1回答
) {}{
std::cout<<std::is_constructible<B,int,A,double>::value<<std::endl; //prints是否还有一种方法可以检查B中是否存在一个包含A类型的构造函数，而不管其他参数是什么？(--或者，已经足够了，它在n位置包含了A类型？)给出了一个非explicit构造函数，通过使用可以隐式转换为任
浏览 5提问于2015-04-19得票数 7
1回答
我偶然发现了新的std::pair构造函数的一个令人惊讶的行为，它是在C++11中引入的。我在使用std::pair<int, std::atomic<int>>时注意到了这个问题，并且出现了这个问题，因为std::atomic既不能复制也不能移动。在下面的代码中，为了简化起见，我将std::atomic<int>替换为foobar。它适用于分段构造，但我认为这不应该是必要的，因为从int到foobar的隐式
浏览 2提问于2014-05-18得票数 14
回答已采纳
如果我创建一个带有explicit构造函数的结构 int x;};#include <map> std::piecewise_construct, std
浏览 1提问于2016-12-11得票数 0
回答已采纳
我想检测一个类是否有一个显式的转换运算符。我尝试过使用is_constructible，但是下面的断言在msvc 19.00.23506中失败了。#include <string>
static_assert(std::is_constructible&l
浏览 3提问于2016-12-11得票数 2
回答已采纳
2回答
防止主数据类型C++的隐式转换
、、、、
污点: C++有隐式转换，我正在寻找一种方法来防止它。<iostream>
return ++i;{ }我如何才能防止这种隐
浏览 3提问于2020-07-16得票数 0
回答已采纳
未指定std::bind的返回类型(有意)。它可以存储在std::function中。有什么办法可以避免显式的演员吗？// g++
浏览 8提问于2013-01-15得票数 1
回答已采纳
1回答
我正在学习更多关于隐式转换运算符的知识，并且我注意到了一些奇怪的东西--隐式用户定义的字符串转换。下面是代码。#include <iostream>using std::endl; A abc;
cout << abc << endl;
浏览 3提问于2020-09-15得票数 2
回答已采纳
1回答
向量工作正常std::vector<std::shared_ptr<SceneNode>> subnodes_m;
void CompositeSceneNode::AddChild(SceneNode* subnode_p) subnodes_m.emplace_back(subnode_p);Multimap不std::multimap<unsigned int, std::shared_ptr<SceneNo
浏览 4提问于2014-09-23得票数 4
回答已采纳
1回答
特殊的成员函数是“编译器使用时会自动生成的函数，但程序员没有显式声明这些函数”。注意:当程序没有显式声明这些成员函数时，实现将为某些类类型隐式声明这些成员函数。如果它们是odr使用的(3.2)，则实现将隐式定义它们。见12.1、12.4和12.8。
浏览 4提问于2014-09-13得票数 0
回答已采纳
1回答
，对于显式构造函数，is_convertible失败了。现在，在C++14中，20.4.2.1/10指出：“此构造函数不应参与重载解析，除非UTypes中的每个类型都可以隐式转换为Types中的相应类型”。它现在说：“这个构造函数不应该参与过载解析，除非. is_constructible<Ti, Ui&&>::value是所有i的true。”看起来“是隐式可兑换”改为"
浏览 3提问于2016-04-12得票数 4
回答已采纳
最初的问题是如何以安全的方式使用std::map<std::wstring, std::wstring> >，因为相同类型的键和值非常容易出错。::map<std::wstring, ComponentName> component_names_map;component_names_map::value_type a_pair = std::make_pair(L"Foo", L"Bar");
它之所
浏览 3提问于2011-11-15得票数 17
回答已采纳
3回答
简化双链式转换
、、
问题转换应该按步骤进行。我试图将答案简化如下：
struct chain_converter {
template<typename Other
浏览 0提问于2018-05-12得票数 1
问题是，这段代码将尝试复制构造一个std::pair<int, A>，这是由于struct A缺少复制和移动构造函数而无法实现的。 A& operator=(A&&) = delete;};{ map.emplace(1, 2); // does
浏览 1提问于2014-01-28得票数 26
回答已采纳
希望问题中的问题是显而易见的:)如果没有，请考虑以下代码：class testpublic: std::cout << std::is_assignable<test<std::string>, std::string>::value << std::endl;
std::cou
浏览 2提问于2014-08-15得票数 1
回答已采纳
1回答
如何检查某些类型是否显式(或者反之亦然)可从其他类型构造？在这种情况下，是否有SFINAE的诡计？<type_traits>
struct is_explicitly_constructible <
std::is_constructible<Type, Argument>::value &&am
浏览 3提问于2017-03-14得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
