boost :: optional <> идеально подходит для простых типов данных, но как только он используется для класса, наследующего от класса, реализующего интерфейс, он терпит неудачу при включении строгого псевдонима.
Пример:
#include <boost/optional.hpp>
struct MyLine{
double a;
double b;
};
class Edge{
public:
MyLine toMyLine() const;
private:
virtual MyLine doToMyLine() const =0;
};
class Wall:public Edge {
public:
Wall(MyLine const& seg):mMyLine(seg){};
private:
MyLine doToMyLine() const{return MyLine();};
MyLine mMyLine;
};
class SimpleWall {
public:
SimpleWall(MyLine const& seg):mMyLine(seg){};
private:
MyLine mMyLine;
};
int main(){
//boost::optional<Wall> res; //fails with strict aliasing error
boost::optional<SimpleWall> res2; //compiles just fine
}
Скомпилировано следующим образом с использованием gcc версии 4.4.3, это ошибка:
g++ -c -pipe -Wall -Wextra -Wunused -Wmissing-declarations -Wpointer-arith -Wcast-align -Wwrite-strings -Wredundant-decls -Werror -std=c++0x -O2 -Wall -W -I/usr/local/boost_1_44_0 -o obj/main.o main.cpp
Каков наилучший способ решения этой проблемы. Я бы очень хотел, чтобы предупреждение о строгом алиасинге оставалось включенным. Я использую форсированную версию 1.44.
ОБНОВЛЕНИЕ:
Становится хуже !! Рассмотрим следующий код:
#include <boost/optional.hpp>
class MyBase{
public:
int toFoo() const;
private:
virtual int doToFoo() const =0;
};
class Child:public MyBase {
public:
Child(int const& foo):mFoo(foo){};
private:
int doToFoo() const{return 0;}
int mFoo;
};
int main(){
boost::optional<int> optint; //comment out for surprise
optint.get(); //comment out for surprise
boost::optional<Child> res2;
res2.get();
}
Скомпилирован со следующим кодом с использованием gcc версии 4.4.3, который компилируется:
g++ -c -pipe -Wall -Wextra -Wunused -Wmissing-declarations -Wpointer-arith -Wcast-align -Wwrite-strings -Wredundant-decls -Werror -std=c++0x -O2 -Wall -W -I/usr/local/boost_1_44_0 -o obj/main.o main.cpp
Если строки, отмеченные «// закомментировать для неожиданности», закомментированы, я получаю предупреждение о строгом псевдониме. Я проверял это не менее 20 раз. Это одна из самых странных вещей, которые я когда-либо видел. Похоже, boost :: optional инициализирует sth. независимо от параметра шаблона или вроде того, как gcc понимает boost :: optional, только если вызывается с помощью sth. сначала тривиально. Есть идеи?