A
julia> b = 2
2
julia> Ptr{Void}(b)
Ptr{Void} @0x0000000000000002
Size: a a a
2017 August 01
AK
Всё равно не понимаю :)
A
а какой вопрос?
AK
Какие операции применимы к этому Ptr{Void}?
AK
Это вообще один из основных вопросов в Julia: есть переменная какого-то очередного, 1 из 100500, типов данных. Хочется понять, что вообще с ней можно делать, кроме как радоваться её наличию. Как это узнать?
AK
julia> methods(Ptr{Void})
# 1 method for generic function "(::Type)":
(::Type{T})(arg) where T in Base at sysimg.jl:24
# 1 method for generic function "(::Type)":
(::Type{T})(arg) where T in Base at sysimg.jl:24
AK
Получается, можно делать с Ptr{Void} что-то непонятное, а я так смутно представляю, что это вообще указатель для использования в CCALL'ах
A
methodswith() ?
AK
Во, точно, оно. Спасибо! Судя по выводу methodswith Ptr{Void} - это и правда некий абстрактный указатель (просто смещение), поскольку к данным, на которые он указывает, можно обращаться вообще как угодно
AK
convert(::Type{T}, p::Ptr{Void}) where T<:Union{Cstring, Cwstring} in Base at c.jl:70
A
эта тема для меня тёмный лес) указатели и ccall's..
AK
Только наверное можно получить SIGSEGV, если "обратиться" за границы реально выделенной области памяти: например, сделали malloc на 16 байт, полезли забирать 32 байта по указателю - получили SEGV
KT
Что-то никак не удается собрать пакет Nemo
KT
Пишет все, что папок не хватает, чуднО
2017 August 02
AK
Кто-нибудь в курсе, есть ли в Julia штатно или удобным модулем вычисления произвольной точности? :)
2017 August 03
KT
Есть ли указатели в Julia на собственноручно объявленные типы?
KT
К примеру, есть у меня, условно говоря, какой-нибудь тип Поле по модулю p, Fp. И я хочу завести несколько точек из Fp, чтобы каждая из них "помнила", откуда она взялась. То есть что-то вроде - объект Поле, объекты Точка, в каждой точке есть ссылка на поле, в котором она живет
AK
Нашёл такое:
Поможет чем-нибудь?
type SmartPointer{T}
pointer::Ptr{T}
function SmartPointer(p::Ptr{T})
smart_p = new(p)
finalizer(smart_p, p -> c_free(p.pointer))
smart_p
end
endПоможет чем-нибудь?