是否有C++模板类通过排列和置换组实现操作？这类必须实现查找产品和逆,乘法等.
根据我的其他问题.
请考虑以下代码
template<typename T, int N>
struct A {
typedef T value_type; // save T to value_type
static const int size = N; // save N to size
};
看,我可以使用value_type和size作为模板参数.
typedef A<int, 2> A1;
typedef A<A1::value_type, A1::size + 3> A2; // OK, A2 is A<int,5>
现在我想用指向成员的指针做同样的事情:
struct Foo {
int m;
int r;
};
template<int Foo::*Mem>
struct B {
static int Foo::* const mp;
};
template<int Foo::*Mem>
int Foo::* const B<Mem>::mp = Mem; // …假设我们有以下模板类
template<typename T> class Wrap { /* ... */ };
我们无法改变 Wrap.这很重要.
让我们有来自的类Wrap<T>.例如,
class NewInt : public Wrap<int> { /* ... */ };
class MyClass : public Wrap<myclass> { /* ... */ };
class Foo : public Wrap<Bar> { /* ... */ };
我们也不能改变这些类.以上所有课程均为第三方.他们不是我的.
我需要以下编译时间type_traits:
template<class T>
struct is_derived_from_Wrap {
static const bool value = /* */;
};
我需要什么？
assert(is_derived_from_Wrap<Int>::value == true); // Indeed I need static assert
assert(is_derived_from_Wrap<MyClass>::value == true);
assert(is_derived_from_Wrap<char>::value …c++ templates specialization compile-time-constant type-traits
请考虑以下代码:
struct Calc
{
Calc(const Arg1 & arg1, const Arg2 & arg2, /* */ const ArgN & argn) :
arg1(arg1), arg2(arg2), /* */ argn(argn),
coef1(get_coef1()), coef2(get_coef2())
{
}
int Calc1();
int Calc2();
int Calc3();
private:
const Arg1 & arg1;
const Arg2 & arg2;
// ...
const ArgN & argn;
const int coef1; // I want to use const because
const int coef2; // no modification is needed.
int get_coef1() const {
// calc coef1 using arg1, arg2, ..., argn;
// …请考虑以下代码:
struct Foo
{
mutable int m;
template<int Foo::* member>
void change_member() const {
this->*member = 12; // Error: you cannot assign to a variable that is const
}
void g() const {
change_member<&Foo::m>();
}
};
编译器生成错误消息.问题是成员m是可变的,因此可以改变m.但是函数签名隐藏了可变的声明.
如何对指向mutable-member的decalre来编译这段代码？如果不可能,请链接到标准C++.
我需要 x64 模式下警告的通用规则。哪种方式更好？
考虑以下几行代码
const int N = std::max_element(cont.begin(), cont.end()) - cont.begin();
或者
const int ARR_SIZE = 1024;
char arr[ARR_SIZE];
//...
const int N = std::max_element(arr, arr + ARR_SIZE) - arr;
这是我常用的代码。我用 x86 没有任何问题。
但如果我在 x64 模式下运行编译器，我会收到一些警告：
conversion from 'std::_Array_iterator<_Ty,_Size>::difference_type' to 'int', possible loss of data
conversion from '__int64' to 'int', possible loss of data
我想通过共同规则来解决这些问题。哪种方式更好？
制作static_cast：
const int N = static_cast<int>(
std::max_element(cont.begin(), cont.end()) - cont.begin() );
我认为这不是通用的。而且字母太多。
将输出类型替换为ptrdiff_t：
const ptrdiff_t N = std::max_element(cont.begin(), cont.end()) - …我不明白以下程序的输出:
int main()
{
float x = 14.567729f;
float sqr = x * x;
float diff1 = sqr - x * x;
double diff2 = double(sqr) - double(x) * double(x);
std::cout << diff1 << std::endl;
std::cout << diff2 << std::endl;
return 0;
}
输出:
6.63225e-006
6.63225e-006
我用的是VS2010,x86编译器.
我期望获得不同的输出
0
6.63225e-006
为什么diff1不等于0？要计算sqr - x * x编译器,浮点精度会增加一倍.为什么？
我想variable = variable;在源文件中找到所有表达式.我使用Visual Studio 2008.
的variable是任何可变的,例如x,i,k123,incr15.
样品:
x = x; // Should find
x = y; // No match
ss12 = ss12; // Should find
ss12 = ss12 + 1; // No match
只是为了好玩,我试图用带有boost :: bind的std :: find_if编写一行,以检查地图中向量中给出的所有键是否都没有值,但实际上无法提供一个整齐的代码行.
这是我的尝试
vector<string> v;
v.push_back("a");
v.push_back("2");
...
map<string, string> m;
m.insert("b","f");
...
std::find_if(v.begin(), v.end(), boost::bind(&string::empty, boost::bind(&map<string,String>::operator[], _1), _2 )) != v.end();
显然这是一个很大的失败......有人试过这样的事吗？
为什么编译器会生成错误？
template<class T>
void ignore (const T &) {}
void f() {
ignore(std::endl);
}
编译器VS2008给出以下错误:cannot deduce template argument as function argument is ambiguous.
请考虑以下代码:
typedef std::vector<int> cont_t; // Any container with RA-iterators
typedef cont_t::const_iterator citer_t; // Random access iterator
cont_t v(100);
const int start = 15; // start > 0.
citer_t it = v.begin() - start; // Do not use *it
int a1 = 20, b1 = 30; // a1, b1 >= start
int a2 = 30, b2 = 40; // a2, b2 >= start
int x = std::min_element(it + a1, it + b1); //
int y = std::min_element(it + a2, it + …