Сабклассирование базового типа - куда прислать идею для C++0x?

[Ivan_32]

У меня вот идея появилась, что если бы можно было заставить компилятор считать строку "Hello world" в некоем конкретном случае( области видимости/модуле/пространстве имен ) принадлежащей например к типу String, а не char* / wchar* и соответственно все она бы наследовала все поведенческие законы этого базового типа.

По моему это было бы неплохой фичей, если все грамотно реализовать.

[Smitt&Wesson]

Для компьютера, "Hello world" - это просто набор битов. Ничего этот набор наследовать не будет. Куда Вы его впихнёте, там он и "жить" будет.
Не нравится какой-то тип данных, сделайте приведение к другому типу.
Если хотите изобретать велосипед, изобретайте. Флаг Вам в руки.

[Ivan_32]

Для компьютера, "Hello world" - это просто набор битов. Ничего этот набор наследовать не будет. Куда Вы его впихнёте, там он и "жить" будет.

А я и не говорю о runtime-е, на этапе компиляции "Hello world" это совсем не набор битов.

Не нравится какой-то тип данных, сделайте приведение к другому типу.

Тогда получается мусорный синтаксис, например:

MyInt a=b*(MyInt)104.0+(MyInt)10.0;

Если хотите изобретать велосипед, изобретайте. Флаг Вам в руки.

Это лишь фича для упрощения работы с такими вещами. Если я хочу работать сугубо с MyInt, а не int, почему я должен везде ставить эти (MyInt)? К тому же схожие фичи и так уже есть, например тот же using namespace.

[netrino]

Сообщение от Ivan_32

У меня вот идея появилась, что если бы можно было заставить компилятор считать строку "Hello world" в некоем конкретном случае( области видимости/модуле/пространстве имен ) принадлежащей например к типу String, а не char* / wchar* и соответственно все она бы наследовала все поведенческие законы этого базового типа.

По моему это было бы неплохой фичей, если все грамотно реализовать.

Спорная фича, думаю очень многие будут против ведь даже неявные привидения между базовыми типами как ругают (да и как это всё скажется на шаблонах?), хотя я бы был за).
Впрочем, с нынешней скоростью работы комитета, принято это будет году к 2020-му в лучшем случае.
А вообще идея очень похожа на пользовательские неявные привидения в Scala.
С другой стороны, в C++0x есть литералы определяемые пользователем, быть может этого будет достаточно для ваших нужд?

[pproger]

2Ivan_32
динамическую типизацию решил изобрести?

s = "Hello World".replace("o", "")
print s

[Smitt&Wesson]

Сообщение от pproger

2Ivan_32
динамическую типизацию решил изобрести?

s = "Hello World".replace("o", "")
print s

Вот и я о том-же. Просто сразу не вспомнил как это называется. .

[Ivan_32]

2Ivan_32
динамическую типизацию решил изобрести?

Отнюдь. Для примера.
#define subclass(integer,MyInt);
после этой строки все целые литералы, традиционно определяемые компилятором как int, будут неявно приводится к типу MyInt - вот что я бы хотел видеть.

[pproger]

2Ivan_32
ну напиши пример, в котором будет показано "удобство" этой фичи

[Ivan_32]

class MyInt: private MyIntegerDatatypeWithUnusualSemantics;

int main()
{
	MyInt b;
	MyInt a=b*(MyInt)49+(MyInt)294;
	b=Foo(a);
	b.print();
}

MyInt Foo(MyInt input)
{
	MyInt a=GetSomething(2),b=GetSomething(1),c=GetSomething(0);
	a+=(MyInt)394.0*b+(MyInt)32.0;
	b/=(MyInt)3894.0+c;
	c*=b+(MyInt)394.0;
}

А если еще и следовать канону и делать все преобразования по человечески - через static_cast, то и вообще станет целая уйма лишнего кода. А объяви я в начале модуля какое-нибудь #define subclass(integer,MyInt);, я бы все время бы работал сугубо со своим типом и никаких приведений.

Правда, наверно, я бы мог обойтись и собственным литералом, хотя это и исключает возможность по человечески перегрузить string.

[pproger]

2Ivan_32
я просил тебя показать пример с ТВОЕЙ идеей (который покажет на конкретном коде в чем твой метод лучше), а не пример того, как тяжело и неудобно кастовать типы.

MyInt a=b*(MyInt)49+(MyInt)294;

определи конструктор с int параметром и перегрузи нужные тебе бинарные операторы. и никаких кастов

далее, если ты говоришь, что ЛИТЕРАЛ будет не встроенным типом, а твоим классом, то разумно делать так?

string s = 10.toString();