Вопрос... Статического анализиатора под goland пока не существует?

Зачем там факториал я так и не понял

Вопрос... Статического анализиатора под goland пока не существует?

Есть но небольшие

типа statickcheck или в сборке megacheck или еще больше gometalinter но там не только статический но и стилистический и другие

Просто го изначально разработан чтобы давать по рукам так что там много не насобираешь

Это что за статья?

Просто по факту даже обращение с выходом за предела слайса не детектится

грустно же

Просто го изначально разработан чтобы давать по рукам так что там много не насобираешь

Особенно за разыменование нулла и гонки данных он офигенно по рукам дает, лол

panic: runtime error: index out of range

Так....это слайс же динамическая штука

туда и докинуть можно

Согласен. Но простейший статик анализатор может указать по крайне мере ворнингом

Что может выйти обращение за предел

Он может путем глбокого изучения кода узнать что болше нигде в него не добавляют и тогда проверить границы

но это немного глупо

Зачем там факториал я так и не понял

Если честно, я даже отформатированный код не понял Вроде бы смысл задачи отличается от написанного

Просто го изначально разработан чтобы давать по рукам так что там много не насобираешь

Совершенно не характеристика компилятора го, он проверяет только типы и больше ничего. Очень просто собрать то, что не будет работать, банально необработка err и null pointer exception

Это что за статья?

https://m.habr.com/post/354790/

Нуу... как глупо. Я просто видел похожие проблемы в других языках и оно детектилось) Просто думал есть инструмент и тут.

Совершенно не характеристика компилятора го, он проверяет только типы и больше ничего. Очень просто собрать то, что не будет работать, банально необработка err и null pointer exception

Ну вопросов нет. Я не скзала что НИЧЕГО не собирет. Я сказал что мало

я сам пользуюсь металинтером

Нуу... как глупо. Я просто видел похожие проблемы в других языках и оно детектилось) Просто думал есть инструмент и тут.

металинтер ловит много вещей

типа забытых ерроров

забытых контекстов

неправильное форматирование в принтах

и еще куча мелких вещей. Даже велосипеды иногда находит и говорит как лучше сделать стандартными средствами

металиннтер, как мы понимаем, обертка над десятком линтеров.

да да

https://m.habr.com/post/354790/

Ух. Ну рейтинг у неё вполне заслуженный.

неэффективно но пока других вариантов нет

Я слушал что собираются делать все линтеры в одном

а не вызовы в другим инструментам

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

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

А в многопоточной что отличается?

ну, локального слайса

Я про то и говорил что это глупо. Слишком много статическому анализатору нужно знать о коде чтобы такие вещи думать

фактически, надо его исполнять

Два фаззера этому господину :)

А в многопоточной что отличается?

Конкурентное изменение его. Когда в однопоточном можно спрогнозировать примерно что проиойдет одно за другим то тут может наслаиваться и спрогнозировать почти невозможно

Конкурентное изменение его. Когда в однопоточном можно спрогнозировать примерно что проиойдет одно за другим то тут может наслаиваться и спрогнозировать почти невозможно

Так это гонка данных, не?

лучше тесты писать

они тебе и найдут много вещей таких

Так это гонка данных, не?

Я про прогноз для каждого потока для статического анализа а не про конкретное изменение

лучше тесты писать

вот да

ну, тесты - это дорого

да

Дороже когда их нет чаще всего

и не то чтобы гонку данных легко было поймать тестом

поэтому их пишут, когда без них еще дороже

ну я к тому, что тесты - не альтернатива статическому анализу

иначе статических анализаторов вообще бы не существовало

Нет ни в коем случае

лучше тесты писать

поэтому вот это вот сомнительный тезис

лучше иметь и то, и другое

кэп, перелогиньтесь

Ну тут спорно) У них разные задачи да и тесты допустим в том же Си++ и Тесты в го это разные плюшки. ТАк как в Го они выполняются чуть ли не мгновенно

поэтому их удобно использовать

Стоп... Вопрос же не в том что-бы гарантированно предсказать результат в конкуренции.

и поэтому тесты являются приятностью

Вопрос в том что-бы предупредить о потенциальной возможности выхода за пределы слайса

ERROR: S client not available

Я могу такой написать

Вопрос в том что-бы предупредить о потенциальной возможности выхода за пределы слайса

слишком много допущений надо сделать, чтобы выдать такое предупреждение. ценность его будет сомнительной

fmt.Println("Потенциально возможно выйти за пределы слайса. Апасна")

слишком много допущений надо сделать, чтобы выдать такое предупреждение. ценность его будет сомнительной

не скажи. Как-то похожие вещи реализованы для многих языков. не вижу проблемы как таковой в наличии

Чтобы не выйти за пределы слайся

не скажи. Как-то похожие вещи реализованы для многих языков. не вижу проблемы как таковой в наличии

ну - нарисуй блок-схему проверки, и напишем, че.

не скажи. Как-то похожие вещи реализованы для многих языков. не вижу проблемы как таковой в наличии

ты приведи пример и тебе скажут почему это не сработает в давнном случае

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

Но что-то реально полезное это уже морока

И то даже тут могут быть допущения

Привет, всем, есть вопрос: есть ли практики по шарингу swagger api schem-ы, я так понимаю можно просто отдельным рутом, но каким, и как версии отделять?

а?!

а?!

Как я понял, как делиться свпггером с клиентами и как поставлять разные версии схемы

const End = 1 func main() { var end byte = 1 fmt.Println(end == End) } всегда ли такой код будет корректно работать? или лучше привести константу к byte или переменную к int?

такой - всегда, потому, что константа безтиповая, все приведения нужные сделает компилятор

вывод true в данном случае

понял, спасибо

коллега, а вы потестите производительность? очень интересно, будет ли быстрее (я вот думаю, что будет медленнее)

Ускорил в разы, но эта вещь только для определения совпадения регулярке, FindStringSubmatch из этого сделать сложно. Сделал этой вещью предварительную проверку на совпадение строки, а потом, если совпала, то уже штатным, этой же регуляркой как и раньше разбираю. Load 27006 lines, skiped 1480858. Execution time: 26.199211173s против Load 27006 lines, skiped 1480858. Execution time: 6m28.098714719s

Круто! Спасибо за инфу

за re2 идет спич чтобы включить в Go regexp пакет

за re2 идет спич чтобы включить в Go regexp пакет

где?

https://github.com/golang/go/issues/11646#issue-94162042

2015 год?

ну не закрыто же

ну и спич же не идет

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

там если мне не изменяет память все упирается в то, что никто не выродил гошную версию re2.

точнее она вроде была

но не очень то тянет на то, чтобы её протащили в regexp

Медленные относительно го в принципе, или относительно других языков?